最大元就是所有元素都比它小.所有元素都和它有可比性,而且比它小.
极大元就是没有元素直接比它大.（没有顶头元素） 极大元和极大元之间不一定有可比性.