动力装置和接头

你有

M := Pow(X) u {Y}

具有

Pow(X) := {0, {Horse}, {Dog}, {Horse, Dog}}

所以

M := {0, {Horse}, {Dog}, {Horse, Dog}} u {{Cat}}

你明白了吗?

您显示的集合在笛卡尔积上映射,但缺少 {Cat} .

我将与其他回答略有不同。如果你定义 Y = {Cat} 然后 {Y} = {{Cat}} 也就是说, Y 是包含元素的集合吗 Cat 和 {Y} 这个套装里有 Y 或包含包含该元素的集合的集合 猫 . 在这种情况下:

M := {0, {Horse}, {Dog}, {Horse, Dog}, {Cat} }

这是集合论中一个微妙但重要的区别。

M := {0, {Horse}, {Dog}, {Horse, Dog}, Cat}

联合的定义是两个集合中的一组元素。所以 {Horse,Cat} 不在联合中,因为它不在这两个集合中。