Nuprl Definition : per-class
per-class(T;a) == {x:Base| x = a ∈ T}
Definitions occuring in Statement :
set: {x:A| B[x]} ,
base: Base,
equal: s = t ∈ T
Definitions occuring in definition :
set: {x:A| B[x]} ,
base: Base,
equal: s = t ∈ T
FDL editor aliases :
per-class
Latex:
per-class(T;a) == \{x:Base| x = a\}
Date html generated:
2016_05_13-PM-04_12_28
Last ObjectModification:
2015_09_22-PM-05_45_56
Theory : subtype_1
Home
Index