Nuprl Definition : fset-constrained-ac-lub
lub(P;ac1;ac2) == fset-ac-lub(eq;ac1;ac2)
Definitions occuring in Statement :
fset-ac-lub: fset-ac-lub(eq;ac1;ac2)
Definitions occuring in definition :
fset-ac-lub: fset-ac-lub(eq;ac1;ac2)
FDL editor aliases :
fset-constrained-ac-lub
Latex:
lub(P;ac1;ac2) == fset-ac-lub(eq;ac1;ac2)
Date html generated:
2016_05_14-PM-03_49_01
Last ObjectModification:
2015_10_06-PM-05_48_12
Theory : finite!sets
Home
Index