theorem :: YELLOW15:27

for L being lower-bounded sup-Semilattice
for B being Subset of L st B is infinite holds
card B = card (finsups B)