Definition:Smallest Set by Set Inclusion (Class Theory)