theorem Th12: :: CONLAT_2:12

for C being FormalContext holds
( rng (gamma C) is supremum-dense & rng (delta C) is infimum-dense )