Revision #582 → #1349 · back to history
addedLattice (informal)660ca17dd6ce
addedPower set lattice75cb176969a3
addedNaturals under divisibility536d13c47ede
addedLattice as poset1620378bd644
addedFinite subsets have lub/glb3915658f5391
addedPartial latticebb9c23d2dc51
addedLattice as algebraic structure6f857f38f41b
addedIdempotent laws follow from absorptioncb4690d6d4af
addedOrder lattice yields algebraic lattice84362ad42927
addedAlgebraic lattice yields order436bf5ba32ac
addedBounded latticeef08aaca226f
addedBounded lattice (algebraic)3a304231b4f0
addedBounded lattice characterization7207ffba0173
addedEmbedding into bounded lattice6ca2cf913770
addedPower set lattice481eab9c0386
addedFinite subsets lattice115b59d754f5
addedPartition latticed6b2da43f5ba
addedPositive integers lattice736686a32381
addedCartesian square of naturals8e9c8e43364d
addedNaturals under gcd/lcm02e948abb58d
addedComplete lattices are boundedad3304422546
addedCompact elements of arithmetic lattice49eaac359215
addedDiscrete poset non-lattice63e55a67360c
addedDivisibility non-lattice42089f3f13ac
addedThree-bound non-lattice17ca08d2dcb8
addedLattice homomorphismd61d720ac9b7
addedBounded-lattice homomorphismc454c0c21c38
addedHomomorphisms are monotone87f90fe80303
addedLattice isomorphism/endomorphism/automorphismb9048ca696c2
added0,1-separating homomorphism1e65a927deea
addedSublattice4dfd618d38c7
addedConvex sublatticef677db4a29bc
addedComplete lattice8d855ffe36b7
addedComplete semilattice is complete lattice7607e3691613
addedConditionally complete latticeac98587cc17e
addedDistributive latticeeb420e031618
addedM3-N5 characterization of distributivity06401d5beeff
addedBirkhoff representation14d38ff5f322
addedModular lattice4bc8fedad6bb
addedModular inequality holds generally60a6136cf6ed
addedN5 characterization of modularity836aba276d1e
addedExamples of modular lattices9ae915375115
addedSemimodular characterization7ad3a245f361
addedLower semimodular lattice9147308b8420
addedContinuous and algebraic lattice97fa514cca15
addedComplementf17a472f788a
addedComplemented lattice629087a2121e
addedBoolean algebra characterization4806eb70816d
addedUniqueness of complement in distributive lattice3b70f29166da
addedPseudo-complement7740081d1b16
addedChain and lengthe63ec8d9f126
addedJordan–Dedekind chain condition71e2adb2d081
addedGraded lattice21a94644baaf
addedCovers relationea4c12af4e8c
addedFree semilattice00af1d421d9e
addedFlat latticec539af067efe
addedJoin irreducible94d51674b86e
addedJoin prime0c451a32c2a8
addedJoin-prime implies join-irreduciblec9d2f4a036d7
addedAtomic and atomistic latticese0965e1687e1