Nuprl Definition : es-cut-add
c+e == {e} ⋃ c
Definitions occuring in Statement :
es-eq: es-eq(es),
fset-singleton: {x},
fset-union: x ⋃ y
FDL editor aliases :
es-cut-add
Latex:
c+e == \{e\} \mcup{} c
Date html generated:
2016_05_17-AM-07_34_55
Last ObjectModification:
2012_02_25-PM-02_58_43
Theory : event-ordering
Home
Index