If this gets fixed can it also be expanded to explicitly apply to the meet or join irreducible elements of a partial order / semi-lattice / lattice?

]]>You’re right. How about “whenever it’s an associate of a product it’s an associate of an element”?

]]>Maybe I'm being dumb, but say that we write x as a unary product of the finite list (x), doesn't that definition imply that x must be invertible? ]]>

Add missing nullary condition; note unbiased version.

]]>