极大的

有序集的元素a称为极大元,如果在该集合中没有严格大于它的元素,换言之,如果关系x≥a蕴含关系x=a.例如,在以包含关系为序的向量空间E的严格向量子空间的全体之集中,极大元素就是所有的超平面. ......    （本文共 95 字 ）     [阅读本文] >>