Nuprl Definition : possible-event

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



Definitions occuring in Statement :  es-E: E event_ordering: EO apply: a product: x:A × B[x]
FDL editor aliases :  possible-event possible-event

Latex:
PossibleEvent(poss)  ==    es:EO  \mtimes{}  E  \mtimes{}  (poss  es)



Date html generated: 2016_05_16-AM-09_51_32
Last ObjectModification: 2013_03_25-PM-01_51_07

Theory : new!event-ordering


Home Index