Nuprl Definition : ses-msg
isMsg(e) == e ∈b Send ∨be ∈b Rcv
Definitions occuring in Statement :
ses-rcv: Rcv,
ses-send: Send,
in-eclass: e ∈b X,
bor: p ∨bq
FDL editor aliases :
ses-msg
Latex:
isMsg(e) == e \mmember{}\msubb{} Send \mvee{}\msubb{}e \mmember{}\msubb{} Rcv
Date html generated:
2015_07_23-PM-00_09_15
Last ObjectModification:
2012_08_30-PM-04_26_57
Home
Index