Ω-Lattices

In the framework of Ω-sets, where Ω is a complete lattice, we introduce Ω-lattices, both as algebraic and as order structures. An Ω-poset is an Ω-set equipped with an Ω-valued order which is antisymmetric with respect to the corresponding Ω-valued equality. Using a cut technique, we prove that the quotient cut-substructures can be naturally ordered. Introducing notions of pseudo-infimum and pseudo-supremum, we obtain a definition of an Ω-lattice as an ordering structure. An Ω-lattice as an algebra is a bi-groupoid equipped with an Ω-valued equality, fulfilling particular lattice-theoretic formulas. On an Ω-lattice we introduce an Ω-valued order, and we prove that particular quotient substructures are classical lattices. Assuming Axiom of Choice, we prove that the two approaches are equivalent.