It has been recently observed that fundamental aspects of the classical theory factorization can be greatly generalized by combining languages monoids and preorders. This led to various theorems on existence certain factorizations, herein called ⪯-factorizations, for ⪯-non-units a (multiplicatively written) monoid H endowed with preorder ⪯, where an element u∈H is ⪯-unit if u⪯1H⪯u ⪯-non-unit ot...