1.Previous
3.Next

denotes the sentence formed by logical conjunction then and where If is the Lindenbaum-Tarski algebra associated with then is a partially ordered set that is also a directed set.

Contrast with semilattices

Directed set is a more general concept than (join) semilattice: every join semilattice is a directed set, as the join or least upper bound of two elements is the desired The converse

1.Previous
3.Next