In abstract set theory, a construction due to von Neumann represents the natural numbers by sets, as follows:
Write a function that receives an integer n and produces the representing set.
rep_set(0) ➞ []
rep_set(1) ➞ [[]]
rep_set(2) ➞ [[], [[]]]
rep_set(3) ➞ [[], [[]], [[], [[ ]]]]
[,].{,} instead, but Python doesn't approve.n < m precisely if the set representing n is contained in the set representing m.