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