Distributivity Axiom

From GM-RKB
Jump to navigation Jump to search

A Distributivity Axiom is an axiom that establishes a distributive operation relation between two operations.