A given [[Operation|operation]] $\circ$ is considered left-distributive over $*$ [[Biconditional|if and only if]] the following property holds: $\huge a \circ (b *c) = (a*b) \circ (a*c) $