theorem Th175: :: RELAT_1:185

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