“Mathematics is filled with such instances where it is important to regard one set as a subset of another.”