scd_eq

Definition. scd_eq
scd t = ⋂⋃t ∪ (⋃⋃t \ ⋂⋂t)

Projection on the second component of a Kuratowski pair, see pair_scd.