class for the Sup operator

class for the Inf operator

Supremum of a set

Infimum of a set

Indexed supremum

Indexed infimum

A complete lattice is a bounded lattice which has suprema and infima for every subset.

A complete linear order is a linear order whose lattice structure is complete.

A function f between complete lattices is order-continuous if it preserves all suprema.