Nuprl Definition : fl-deq

fl-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 :  fl-deq
Latex:
fl-deq(T;eq)  ==    deq-fset(deq-fset(union-deq(T;T;eq;eq)))


Date html generated: 2020_05_20-AM-08_51_14
Last ObjectModification: 2015_10_09-PM-06_57_03

Theory : lattices


Home Index