for x, y, X being set
for C being Element of CSp X st {x,y} in C holds
( x in union C & y in union C )