Nuprl Definition : lattice-le
a ≤ b == a = a ∧ b ∈ Point(l)
Definitions occuring in Statement :
lattice-meet: a ∧ b,
lattice-point: Point(l),
equal: s = t ∈ T
Definitions occuring in definition :
equal: s = t ∈ T,
lattice-point: Point(l),
lattice-meet: a ∧ b
FDL editor aliases :
lattice-le
Latex:
a \mleq{} b == a = a \mwedge{} b
Date html generated:
2020_05_20-AM-08_23_44
Last ObjectModification:
2015_10_06-PM-01_45_57
Theory : lattices
Home
Index