`Difference(set1, set2)` is dispatched in `__sub__` method in the classes. For example `EmptySet - anyset` is `EmptySet`.