Correct, and when the article says "any composition operator that observes these laws will be ... free from edge cases" this is not strictly true. Nonetheless,

Correct, and when the article says "any composition operator that observes these laws will be ... free from edge cases" this is not strictly true. Nonetheless, any such object will be freer from edge cases, and the concept is still extremely useful.