Algebra, Sub-sub-category: Distributive Property