Nuprl Definition : free-dml-deq

free-dml-deq(T;eq) ==  deq-fset(deq-fset(union-deq(T;T;eq;eq)))


Definitions occuring in Statement :  deq-fset: deq-fset(eq),  union-deq: union-deq(A;B;a;b)
Definitions occuring in definition :  deq-fset: deq-fset(eq),  union-deq: union-deq(A;B;a;b)
FDL editor aliases :  free-dml-deq free-dml-deq
Latex:
free-dml-deq(T;eq)  ==    deq-fset(deq-fset(union-deq(T;T;eq;eq)))


Date html generated: 2016_05_18-AM-11_43_37
Last ObjectModification: 2015_10_12-PM-02_04_45

Theory : lattices


Home Index