Editing median algebra

'''Median algebra''' is an algebra with a single [[ternary algebra|ternary operation]] satisfying a set of three axioms. This is largely a generalized concept of the [[majority function]].

== Axioms ==
For [[majority function]] <math>f:\mathbb{B}^3 \to \mathbb{B}</math> with <math>w,x,y,z \in \mathbb{B}</math>:
{| class="wikitable"
|-
! Name !! Axiom
|-
| [[Majority]] || <math>\text{Maj}(x,x,y) = x</math>
|-
| {{ba|Commutative Axiom|Commutative}} || <math>\text{Maj}(x,y,z) = \text{Maj}(x,z,y) = \text{Maj}(y,x,z) = \text{Maj}(y,z,x) = \text{Maj}(z,x,y) = \text{Maj}(z,y,x)</math>
|-
| {{ba|Associative Axiom|Associative}} || <math>\text{Maj}(x,w,\text{Maj}(y,w,z)) = \text{Maj}(\text{Maj}(x,w,y),w,z)</math>
|}

{{stub}}