Etymology

Today it means: Having the property (of an operation) of being distributive with respect to itself. Thus, an operator ◦ is left selfdistributive iff x◦(y◦z) = (x◦y)◦(x◦z), and is right selfdistributive iff (x◦y)◦z = (x◦z)◦(y◦z), for all x, y, z. Full definition →