Nuprl Definition : maname-deq
maname-deq() ==  union-deq(LocKnd;Id × Id;locknd-deq();product-deq(Id;Id;IdDeq;IdDeq))
Definitions occuring in Statement : 
locknd-deq: locknd-deq()
, 
LocKnd: LocKnd
, 
id-deq: IdDeq
, 
Id: Id
, 
union-deq: union-deq(A;B;a;b)
, 
product-deq: product-deq(A;B;a;b)
, 
product: x:A × B[x]
FDL editor aliases : 
maname-deq
Latex:
maname-deq()  ==    union-deq(LocKnd;Id  \mtimes{}  Id;locknd-deq();product-deq(Id;Id;IdDeq;IdDeq))
Date html generated:
2016_05_16-AM-11_01_27
Last ObjectModification:
2012_02_25-AM-10_53_56
Theory : event-ordering
Home
Index