Revision #2798 → #3274 · back to history
modifiedTotal function68271ac06626
| Field | From #2798 | To #3274 |
|---|
| anchor.snippet | then [MATH] is said to be a total function | is said to be a total function |
| provenance | ai | ai-moderated |
addedInverse of injective and surjective partial function5adc46076865
modifiedComposition is total iff hom has one elementfdfa76f4a090
| Field | From #2798 | To #3274 |
|---|
| anchor.snippet | the composition operation [MATH] is a total function if and only if | is a total function if and only if |
| provenance | ai | ai-moderated |
modifiedSymmetric inverse semigroup1eb9d7d725ff
| Field | From #2798 | To #3274 |
|---|
| anchor.snippet | The set of all partial bijections on [MATH] forms the symmetric inverse semigroup | forms the symmetric inverse semigroup |
| provenance | ai | ai-moderated |