Nuprl Definition : general-bounded-lattice
GeneralBoundedLattice == {l:GeneralBoundedLatticeStructure| general-lattice-axioms(l)}
Definitions occuring in Statement :
general-lattice-axioms: general-lattice-axioms(l),
general-bounded-lattice-structure: GeneralBoundedLatticeStructure,
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
general-bounded-lattice-structure: GeneralBoundedLatticeStructure,
general-lattice-axioms: general-lattice-axioms(l)
FDL editor aliases :
general-bounded-lattice
Latex:
GeneralBoundedLattice == \{l:GeneralBoundedLatticeStructure| general-lattice-axioms(l)\}
Date html generated:
2020_05_20-AM-08_58_10
Last ObjectModification:
2015_10_16-PM-04_16_44
Theory : lattices
Home
Index