a 
(X;f) b == a 
cut(X;f;{b})
Definitions occuring in Statement :
cut-of: cut(X;f;s),
es-eq: es-eq(es),
fset-singleton: {x},
fset-member: a s
Definitions :
fset-member: a s,
es-eq: es-eq(es),
cut-of: cut(X;f;s),
fset-singleton: {x}
FDL editor aliases :
cut-order
a \mleq{}(X;f) b == a \mmember{} cut(X;f;\{b\})
Date html generated:
2011_08_16-PM-05_50_11
Last ObjectModification:
2010_11_26-PM-10_54_22
Home
Index