Source: wikibot/free-lattice
= Free lattice
{wiki=Free_lattice}
A "free lattice" typically refers to a type of lattice in the context of lattice theory, a branch of mathematics that studies ordered sets and their properties. In lattice theory, a lattice is a partially ordered set in which any two elements have a unique supremum (least upper bound, also known as join) and an infimum (greatest lower bound, or meet).