Description: Extend the definition of a class to include the disjoint elements class, i.e., the disjoint elementhood relations class.
class ElDisjs