等边三角形是一种特殊的等腰三角形,所有的等边三角形都是等腰三角形,而等腰三角形不一定是等边三角形,所以：{x|x是等腰三角形｝真包含｛x|x是等边三角形｝,｛x|x是等边三角形｝是｛x|x是等腰三角形｝的真子集