c+e
==
{e}
c
Definitions
:
fset-union:
x
y
,
es-eq:
es-eq(es)
,
fset-singleton:
{x}
FDL editor aliases
:
es-cut-add
c+e == \{e\} \mcup{} c
Date html generated: 2010_08_27-PM-03_16_37
Last ObjectModification: 2009_12_16-AM-08_50_44
Home
Index
c y,
es-eq: es-eq(es),
fset-singleton: {x}