(rng R) null X c= (rng R) \/ X ;
hence for b₁ being Relation st b₁ = R null X holds
b₁ is X \/ (rng R) -valued ; :: thesis: verum