isBijective
P160523
predicate
Indicates that a function establishes a one-to-one and onto correspondence between elements of its domain and codomain, with each element in both sets paired uniquely.
Observed surface forms (2)
- correspondsBijectivelyTo ×1
- hasBijectionWith ×1
Sample triples (4)
| Subject | Object |
|---|---|
| Galois extension | subgroups of its Galois group via predicate surface "hasBijectionWith" ⓘ |
|
Möbius transformations
surface form:
Möbius transformation
|
true ⓘ |
| Stieltjes measure | nondecreasing right-continuous functions modulo constants via predicate surface "correspondsBijectivelyTo" ⓘ |
| SubBytes | true ⓘ |