mula_28的每个元素都属于formula_11，即 formula_28是formula_11的子集。
空集的运算.空集（作为集合）上的运算也可能使人迷惑。（这是一种"空运算"。）例如：空集元素的和为0，而它们的积为1（见空积）。这可能看上去非常奇怪，空集中没有元素，他们是怎么相加和相乘的呢？最终，这些运算的结果更多被看成是运算的问题，而不是空集的。比如，可以注意到0是加法的单位元，而1是乘法的单位元。
公理化集合论.在诸如策梅洛-弗兰克尔集合论的