User blog:Alemagno12/Not Taranovsky's C


 * N(a,b) = {a,b} ∪ {N(c,d)|((d < b ∧ c = a) ∨ (d < N(a,b) ∧ c < a)) ∧ N(c,d) < N(a,b)}
 * [WIP]