Nuprl Definition : possible-event

PossibleEvent(poss) == es:EO × E × (poss es)

Definitions occuring in Statement : es-E: E, event_ordering: EO, apply: f a, product: x:A × B[x]
FDL editor aliases : possible-event possible-event
PossibleEvent(poss) == es:EO \mtimes{} E \mtimes{} (poss es) Date html generated: 2015_07_17-AM-08_51_28 Last ObjectModification: 2013_03_25-PM-01_51_07 Home Index