then their "least upper bound" (LUB) is LUB(Base1,...
# language-proposals
d
then their "least upper bound" (LUB) is LUB(Base1, Base2), which is
Any
.