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).
New to topics? Read the docs here!