for A, B being set
for R being b₁ -valued Relation holds R .: B c= A