for D being set
for R being b₁ -valued Relation
for y being object st y in rng R holds
y in D