Modular lattices

• equivalent characterization of modularity
• Jordan-Hölder-Dedekind's Theorem
• brief remarks on free modular lattices

Distributive lattices

• equivalent characterization of distributivity

Join-irreducible and meet-irreducible elements in lattices; Atoms