Description: Alternate definition of the class of disjoints. (Contributed by Peter Mazsa, 5-Sep-2021)