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