Assertion: algorithm's operation | /r/HasProperty | denoted as addition
Facets:
Source sentences:
text: A set of elements under two binary operations, denoted as addition and multiplication, is called a Euclidean domain if it forms a commutative ring R and, roughly speaking, if a generalized Euclidean algorithm can be performed on them.