個體域

邏輯中涉及的個體的非空集（至少 有一個體），即涉及的對象的範圍。對一個給定的解釋而言，可以是各 種各樣的事物類。個體域中的元素 就是個體（即所要研究的對象）。