not the carrier of R \/ the carrier of S is empty ;
hence not union_of (R,S) is empty by NECKLA_2:def 2; :: thesis: verum