Nuprl Definition : es-interface-disjoint
X ∩ Y = 0 == ∀es:EO+(Info). ∀e:E. (¬((↑e ∈b X) ∧ (↑e ∈b Y)))
Definitions occuring in Statement :
in-eclass: e ∈b X,
event-ordering+: EO+(Info),
es-E: E,
assert: ↑b,
all: ∀x:A. B[x],
not: ¬A,
and: P ∧ Q
FDL editor aliases :
es-interface-disjoint
Latex:
X \mcap{} Y = 0 == \mforall{}es:EO+(Info). \mforall{}e:E. (\mneg{}((\muparrow{}e \mmember{}\msubb{} X) \mwedge{} (\muparrow{}e \mmember{}\msubb{} Y)))
Date html generated:
2015_07_20-PM-03_31_29
Last ObjectModification:
2012_02_25-PM-01_48_45
Home
Index