the carrier of R \/ the carrier of S is finite ;
hence union_of R,S is finite by NECKLA_2:def 2; :: thesis: verum