Nuprl Definition : single-valued-classrel-all

single-valued-classrel-all{i:l}(Info;T;X) == ∀es:EO+(Info). single-valued-classrel(es;X;T)

Definitions occuring in Statement : single-valued-classrel: single-valued-classrel(es;X;T), event-ordering+: EO+(Info), all: ∀x:A. B[x]
FDL editor aliases : single-valued-classrel-all
single-valued-classrel-all\{i:l\}(Info;T;X) == \mforall{}es:EO+(Info). single-valued-classrel(es;X;T) Date html generated: 2015_07_17-PM-00_20_10 Last ObjectModification: 2012_09_03-PM-04_05_57 Home Index