A group's operation is associative