for X being set
for S being Relation
for R being b₁ -defined Relation st R c= S holds
R c= S | X