Description: Extend class definition to include the strict dominance relation (curly less-than)
class ~<