Nuprl Definition : perm_sig
perm_sig(T) == f:T ⟶ T × (T ⟶ T)
Definitions occuring in Statement :
function: x:A ⟶ B[x],
product: x:A × B[x]
Definitions occuring in definition :
product: x:A × B[x],
function: x:A ⟶ B[x]
FDL editor aliases :
perm_sig
Latex:
perm\_sig(T) == f:T {}\mrightarrow{} T \mtimes{} (T {}\mrightarrow{} T)
Date html generated:
2016_05_16-AM-07_28_16
Last ObjectModification:
2015_09_23-AM-09_51_11
Theory : perms_1
Home
Index