Nuprl Definition : lattice-less
a < b == a ≤ b ∧ (¬(a = b ∈ Point(l)))
Definitions occuring in Statement :
lattice-le: a ≤ b
,
lattice-point: Point(l)
,
not: ¬A
,
and: P ∧ Q
,
equal: s = t ∈ T
Definitions occuring in definition :
and: P ∧ Q
,
lattice-le: a ≤ b
,
not: ¬A
,
equal: s = t ∈ T
,
lattice-point: Point(l)
FDL editor aliases :
lattice-less
Latex:
a < b == a \mleq{} b \mwedge{} (\mneg{}(a = b))
Date html generated:
2016_05_18-AM-11_23_23
Last ObjectModification:
2015_10_06-PM-01_44_49
Theory : lattices
Home
Index