Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Binary cartesian set product
Binary relation
Map
Operation
N-operation
<No formulations for this definition yet>
Also known as
N-ary operation
Child definitions
» D554: Binary operation