论域

论域
image
任何科学理论都有它的研究对象，这些对象构成一个不空的集合，称为论域。
论域是一个数学系统，分为原始域和非原始域（构造域）。

组成

论域分为原始域和非原始域（构造域）。
原始域：有限集或可枚举集都是原始域。如
。