集合中的包含关系是否具有自反性的特征