SabrinaJewson claims it is a STRICT subset: EML ⊂ E

I remind the trivial results that both E ⊆ EML and EML ⊆ E and hence EML = E

apart from construction: which is minimal for EML but highly redundant for E.

the EML paper shows that this minimal construction for EML is not unique so other binary operations may be found with perhaps more interesting properties, or admitting shorter binary trees for commonly used functions and values (which may reflect subjective "simplification" of expressions in mathematics.