{x | x is a three-digit positive even number}