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: 2012_01_23-PM-12_17_41 Last ObjectModification: 2012_01_11-PM-05_07_59 Home Index