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