| 释义 |
maximal element (maximum) In a partially ordered set (S, ≤), a maximum is an element m such that s ≤ m for all s ∈ S. A maximal element is an element M such that there is no element s with M < s. So a maximum is a maximal element, but a maximal element need not be a maximum.
|