Description: If property A is hereditary in the R -sequence, if x has property A , and if y is a result of an application of the procedure R to x , then y has property A . Proposition 72 of Frege1879 p. 59. (Contributed by RP, 28-Mar-2020) (Revised by RP, 5-Jul-2020) (Proof modification is discouraged.)