A set which is closed under an associative operation, and which contains an element which is an identity for the operation.
(quote-book)
Containing only one kind of foot.
(l)