Description: The class of all subsets of a class is closed under symmetric difference. (Contributed by RP, 3-Jan-2020)