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:
2020_05_20-AM-08_43_00
Last ObjectModification:
2015_10_06-PM-01_44_49
Theory : lattices
Home
Index