Description: If the images of both { A } and U are subsets of U and C
follows A in the transitive closure of R and B follows C
in R , then B is an element of U . Similar to Proposition
87 of Frege1879 p. 66. Compare with frege87 . (Contributed by RP, 15-Jul-2020)