Definition:Implicit Set Definition for Infinite Set