opposite operations
Definition