Nuprl Definition : classRel

classRel(es;T;X;e;v) == v ∈ X(e)

Definitions occuring in Statement : classrel: v ∈ X(e)
FDL editor aliases : classRel
classRel(es;T;X;e;v) == v \mmember{} X(e) Date html generated: 2015_07_17-PM-00_30_16 Last ObjectModification: 2012_02_25-PM-01_16_46 Home Index