Definition:Explicit Set Definition