Description: The relation between sets and their subsets is hereditary in the powerclass of any class. (Contributed by RP, 28-Mar-2020)