theorem :: LATTICE6:26

for L being complete Lattice
for D being Subset of L st D is supremum-dense holds
JIRRS L c= D