Relations, natural numbers, and Peano

Also, the dreaded Intersect operator