for X, Y being set holds
( X c= Y iff {_{X}_} c= {_{Y}_} )