Nomenclature

$fbetw1-math-0001$	Bottom element of the lattice
$fbetw1-math-0002$	Set of join-irreducible elements of a poset $fbetw1-math-0003$
$fbetw1-math-0004$	Lattice of ideals
$fbetw1-math-0005$	Lattice of normal cuts
$fbetw1-math-0006$	Lattice of maximal antichains
$fbetw1-math-0007$	Lattice of width antichains
$fbetw1-math-0008$	Set of meet-irreducible elements of a poset $fbetw1-math-0009$
$fbetw1-math-0010$	Meet
$fbetw1-math-0011$	Join
$fbetw1-math-0012$	Top element of the lattice
$fbetw1-math-0013$	A poset consisting of a single chain of length $fbetw1-math-0014$
$fbetw1-math-0015$	$fbetw1-math-0016$ is comparable to $fbetw1-math-0017$ in $fbetw1-math-0018$
$fbetw1-math-0019$	Set of lower bounds of $fbetw1-math-0020$
$fbetw1-math-0021$	Set of upper bounds of $fbetw1-math-0022$
$fbetw1-math-0023$	Set of elements less than $fbetw1-math-0024$
$fbetw1-math-0025$	Set of elements less than or equal to $fbetw1-math-0026$
$fbetw1-math-0027$	Dedekind–MacNeille Completion of $fbetw1-math-0028$
$fbetw1-math-0029$	Dual poset of $fbetw1-math-0030$
$fbetw1-math-0031$	Set of elements greater than $fbetw1-math-0032$
$fbetw1-math-0033$	Set of elements greater than or equal to $fbetw1-math-0034$