Nuprl Definition : fset
fset(T) == x,y:T List//set-equal(T;x;y)
Definitions occuring in Statement :
set-equal: set-equal(T;x;y),
list: T List,
quotient: x,y:A//B[x; y]
Definitions occuring in definition :
quotient: x,y:A//B[x; y],
list: T List,
set-equal: set-equal(T;x;y)
FDL editor aliases :
fset
Latex:
fset(T) == x,y:T List//set-equal(T;x;y)
Date html generated:
2016_05_14-PM-03_37_54
Last ObjectModification:
2015_10_06-PM-01_37_50
Theory : finite!sets
Home
Index