Nuprl Definition : disjoint-classrel
disjoint-classrel(es;A;X;B;Y) == ∀e:E. ((∀a:A. (¬a ∈ X(e))) ∨ (∀b:B. (¬b ∈ Y(e))))
Definitions occuring in Statement :
classrel: v ∈ X(e),
es-E: E,
all: ∀x:A. B[x],
not: ¬A,
or: P ∨ Q
FDL editor aliases :
disjoint-classrel
disjoint-classrel(es;A;X;B;Y) == \mforall{}e:E. ((\mforall{}a:A. (\mneg{}a \mmember{} X(e))) \mvee{} (\mforall{}b:B. (\mneg{}b \mmember{} Y(e))))
Date html generated:
2015_07_17-PM-00_18_34
Last ObjectModification:
2012_02_25-PM-01_13_23
Home
Index