User blog comment:Emlightened/Sasquatch (Big Bigeddon)/@comment-1605058-20170327204644/@comment-27513631-20170327205922

Thanks (I just corrected something so I'm glad you didn't go too in depth), sure I will, \((a,b)\mapsto a\cup\{b\}\), any arbitrary constant set (I'll clarify), that's not an issue as the constant terms aren't in the language used to define the number although it does work as a valid point for \(R\).