Nuprl Definition : lattice
Lattice == {l:LatticeStructure| lattice-axioms(l)}
Definitions occuring in Statement :
lattice-axioms: lattice-axioms(l),
lattice-structure: LatticeStructure,
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
lattice-structure: LatticeStructure,
lattice-axioms: lattice-axioms(l)
FDL editor aliases :
lattice
Latex:
Lattice == \{l:LatticeStructure| lattice-axioms(l)\}
Date html generated:
2020_05_20-AM-08_23_41
Last ObjectModification:
2015_10_06-PM-01_46_00
Theory : lattices
Home
Index