Частный, но зачем такая сильная модель? Грубо говоря, нет смысла использовать x ∈ R, если достаточно x ∈ N. Всё равно из R будет выбираться только множество N.