Definition:Implicit Set Definition