n. the binary operator the value of which is the supremum of a pair of elements in a lattice; given a pair of elements x and y of the lattice, their join, written x ࢴ y, is the element m such that m ≥ x, m ≥ y, and there is no n < m that has the same relations to x and y. Compare meet.