Definition talk:Iterated Binary Operation

From ProofWiki
Jump to navigation Jump to search

This has been changed from a definition on an algebraic structure to a magma. Is there a reason for reducing its generality?

Yup, the algebraic structure needs to be closed under the operation in order to substitute it. --barto (talk) 14:27, 20 October 2017 (EDT)