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