Nuprl Definition : cut-order
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
FDL editor aliases :
cut-order
Latex:
a \mleq{}(X;f) b == a \mmember{} cut(X;f;\{b\})
Date html generated:
2016_05_17-AM-07_32_57
Last ObjectModification:
2012_02_25-PM-02_57_44
Theory : event-ordering
Home
Index