A set of all positive even numbers

A set of all positive even numbers


The set of all positive even numbers can be expressed as
E = {x | x is a positive integer and divisible by 2}
={x | x = 2n and N is a positive integer}