Definition:Implicit Set Definition/Multipart Infinite Set