theorem Th23: :: WAYBEL31:23

for L1 being lower-bounded continuous sup-Semilattice
for T being Scott TopAugmentation of L1
for B1 being Basis of T st B1 is infinite holds
{ (inf u) where u is Subset of T : u in B1 } is infinite