For example https://groupprops.subwiki.org/wiki/Solvable_group contains
lists "Stronger properties" and "Weaker properties".
What would you think about SEEALSO-blocks of is_* -functions having list
of nearest stronger and weaker properties? For example
is_sectionally_complemented() would have something like
See also:
- Stronger properties: is_relatively_complemented
- Weaker properties: is_complemented, is_regular
or maybe
- Implied by: is_relatively_complemented
- Implies: is_complemented, is_regular
I do not mean the whole list, just those properties that covers or are
covered by the Boolean property in a poset of property implications.
--
Jori Mäntysalo
