Nuprl Definition : perm
Perm(T) ==  {p:perm_sig(T)| InvFuns(T;T;p.f;p.b)} 
Definitions occuring in Statement : 
perm_b: p.b
, 
perm_f: p.f
, 
perm_sig: perm_sig(T)
, 
inv_funs: InvFuns(A;B;f;g)
, 
set: {x:A| B[x]} 
Definitions occuring in definition : 
set: {x:A| B[x]} 
, 
perm_sig: perm_sig(T)
, 
inv_funs: InvFuns(A;B;f;g)
, 
perm_f: p.f
, 
perm_b: p.b
Latex:
Perm(T)  ==    \{p:perm\_sig(T)|  InvFuns(T;T;p.f;p.b)\} 
Date html generated:
2016_05_16-AM-07_28_23
Last ObjectModification:
2015_09_23-AM-09_51_12
Theory : perms_1
Home
Index