docs: def is_domain_equal(self, other):
          """
          Computes whether two Partial Orderings have the same generalization
          structure.
          """
          domain = self.get_domain()
          other_domain = other.get_domain()
          # if they share the same instance of memory for the domain
          if domain == other_domain:
              return True
          else:
              return False