Nuprl Definition : or-class

or-class(X;Y) == inl-class(X) || inr-class(Y)

Definitions occuring in Statement : inr-class: inr-class(X), inl-class: inl-class(X), parallel-class: X || Y
FDL editor aliases : or-class

Latex:
or-class(X;Y) == inl-class(X) || inr-class(Y) Date html generated: 2015_07_20-PM-03_22_22 Last ObjectModification: 2012_02_25-PM-01_45_03 Home Index