Nuprl Definition : set_blt
a <b b == (a (≤b) b) ∧b (¬b(b (≤b) a))
Definitions occuring in Statement :
set_le: ≤b,
band: p ∧b q,
bnot: ¬bb,
infix_ap: x f y
Definitions occuring in definition :
band: p ∧b q,
bnot: ¬bb,
infix_ap: x f y,
set_le: ≤b
Latex:
a <\msubb{} b == (a (\mleq{}\msubb{}) b) \mwedge{}\msubb{} (\mneg{}\msubb{}(b (\mleq{}\msubb{}) a))
Date html generated:
2016_05_15-PM-00_04_14
Last ObjectModification:
2015_09_23-AM-06_24_03
Theory : sets_1
Home
Index