But in copyedit, it was made the decision that although appropriate, this was way too alien for usual people to immediately apprehend. So we adopted a courageous but unambiguous convention that programmers would right away apprehend: is usually a commutative monoid with identification component 0. This is a free monoid https://naturalhealthproducts.water.blog/2025/08/18/cureayu-ayurvedic-supplements-online-for-daily-wellness/