Definition:Self-Distributive Operation/Right

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\circ$ be a binary operation on the set $S$.


$\circ$ is right self-distributive if and only if:

$\forall a, b, c \in S: \paren {a \circ b} \circ c = \paren {a \circ c} \circ \paren {b \circ c}$


Also known as

Some sources use the term right distributive over itself


Also see

  • Results about self-distributive operations can be found here.


Sources