Description: The converse of a subset relation swaps arguments. (Contributed by Peter Mazsa, 1-Aug-2019)