From ProofWiki
Jump to navigation Jump to search

This category contains results about Operations.
Definitions specific to this category can be found in Definitions/Operations.

An operation is an object, identified by a symbol, which can be interpreted as a process which, from a number of objects, creates a new object.


This category has the following 2 subcategories, out of 2 total.



Pages in category "Operations"

The following 2 pages are in this category, out of 2 total.