File:Example_of_A_is_a_proper_subset_of_B.svg loading ...