Notation for joins/meets in lattice theory

381 Views Asked by At

Most often I see $\lor$ and $\land$ used for the join and meet operations respectively in a lattice, however what I am writing makes concurrent use of both symbolic logic and a particular lattice, thus I am already using these operations to express logical conjunction/disjunction and am unsure what to use for the joins/meets. For example I don't want to use $\cup$ and $\cap$ since I think this might cause confusion with sets or enable some unconscious error where I treat them like their set counter parts i.e. I might accidentally distribute them over each other despite not dealing with a distributive lattice, likewise for similar reasons I'd rather not use $\sqcup$ and $\sqcap$ as I often use the latter for 'disjoint' unions. So with all of that in mind what are some standard alternatives to these that I could use for joins/meets in a lattice?

1

There are 1 best solutions below

0
On

Supremum and infimum, or greatest lower bound and least upper bound.

$$a\vee b=\sup(a,b)=\text{lub}(a,b)$$

$$a\wedge b=\inf(a,b)=\text{glb}(a,b)$$