Description: If the image of the union of U and V is a subset of the union of
U and V , A is an element of U and B follows A
in the transitive closure of R , then B is an element of the
union of U and V . Similar to Proposition 83 of Frege1879
p. 65. Compare with frege83 . (Contributed by RP, 15-Jul-2020)