User blog comment:Boboris02/Large number combinatorics II:Trying to prove something interesting/@comment-2033667-20170206081115/@comment-30118230-20170206192158

Yes,I do realize it's just trivial.I just wanted to start simple,starting with just the two sets N and Q and proving some properties about them and work my way of the definition with every proof starting with the simple N and Q proofs.