Nuprl Definition : RankEx2
RankEx2(S;T) == {p:RankEx2co(S;T)| (RankEx2co_size(p))↓}
Definitions occuring in Statement :
RankEx2co_size: RankEx2co_size(p),
RankEx2co: RankEx2co(S;T),
has-value: (a)↓,
set: {x:A| B[x]}
FDL editor aliases :
RankEx2
RankEx2(S;T) == \{p:RankEx2co(S;T)| (RankEx2co\_size(p))\mdownarrow{}\}
Date html generated:
2015_07_17-AM-07_48_56
Last ObjectModification:
2014_05_06-PM-01_41_46
Home
Index