Definition:Greatest Set by Set Inclusion (Class Theory)