Description: If A contains all elements after those in U in the transitive closure of R , then the image under R of A is a subclass of A . Similar to Proposition 97 of Frege1879 p. 71. Compare with frege97 . (Contributed by RP, 15-Jul-2020)