Minimal, Maximal, Least, and Greatest Elements w.r.t. Restricted Ordering (Q7361346)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry Min_Max_Least_Greatest
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Minimal, Maximal, Least, and Greatest Elements w.r.t. Restricted Ordering |
AFP entry Min_Max_Least_Greatest |
Statements
24 October 2024
0 references
Martin Desharnais-Schäfer
0 references
Minimal, Maximal, Least, and Greatest Elements w.r.t. Restricted Ordering (English)
0 references
This entry provides small, reusable, theories that specify the concepts of minimal, maximal, least, and greatest elements in sets, final sets, and final multisets. The concepts are uniformly specified as predicates parametrized by a binary relation. The binary relation is only required to be an ordering on the elements of the concrete collection considered. This is useful when working with a partial ordering, but some assumption or invariant proves that the ordering is total on all elements of the considered set.
0 references
