数学逻辑类演算中指某一领域（“论域”、“个体域”或“对象领域”）内一切个体所组成的类。通常以符号“V”或“I”来表示。