Description: The property of relation R being hereditary in class A . (Contributed by RP, 27-Mar-2020)