Definition:Operation/Unary Operation

From ProofWiki
Jump to navigation Jump to search

Definition

A unary operation is the special case of an operation where the operation has exactly one operand.

Thus, a unary operation on a set $S$ is a mapping whose domain and codomain are both $S$.


Examples

Square Root

An example of a unary operation from algebra is $\sqrt{}$ (that is, the square root sign).


Self-Map

Let $S$ be a set.

Let $u: S \to S$ be a self-map whose domain and codomain are both $S$.

Then $u$ is an example of a unary operation.


All Mappings are Unary

To a set theorist, all mappings are unary operations.


Also known as

A unary operation is also known as a unary operator.


Also see

  • Results about unary operations can be found here.


Linguistic Note

The word unary is pronounced yoo-nary.

Hence when the indefinite article precedes it, the form is (for example) a unary operation.


Sources