Partial unary operation

ID: partial-unary-operation

A partial unary operation on a set is a partial function with specified domain and values in . A map preserving such operations must send each point of the source domain into the target domain and preserve its assigned value. It need not reflect whether the operation is defined.

New to topics? Read the docs here!