for X, Y being set
for R being b₁ -defined b₂ -valued Relation holds R c= [:X,Y:]