Definition:Subset (Class Theory)