Revision #2256 → #2911 · back to history
addedAxiom of choice07a1f8311234
addedReflexive relationd3dcfdde9059
addedAntisymmetric relation3b7e0848e670
addedTransitive relation464ea76b0a76
addedIdeal of a ringf2a963319f84
addedMaximal ideal1e89543b6d2c
addedCompact space1ac4a5300a87
addedBasis of a vector space3df625c79477
addedUltrafilter9391f1ecad27
addedDirected sete9a7434303ed
addedPreorder9c910d9e5e92
addedWell-ordered set / well-ordering2d4a745ab1f3
addedAxiom of dependent choicee1ffad3506d4