The Distributive Property Definition