def evens : Set ℕ

Equations

• evens = {n : ℕ | Even n}

def odds : Set ℕ

Equations

• odds = {n : ℕ | ¬Even n}

def primes : Set ℕ

Equations

• primes = {x : ℕ | Nat.Prime x}