hasIdentityElement
P19411
predicate
Indicates that a binary operation on a set has a special element which, when combined with any element of the set, leaves that element unchanged.
Sample triples (3)
| Subject | Object |
|---|---|
|
Abelian groups
surface form: "Abelian group"
|
0 in additive notation → |
|
Abelian groups
surface form: "Abelian group"
|
e in multiplicative notation → |
| Minkowski sum | set containing only the zero vector → |