In mathematics, a median algebra is a set with a ternary operation
The axioms are
-
⟨ x , y , y ⟩ = y -
⟨ x , y , z ⟩ = ⟨ z , x , y ⟩ -
⟨ x , y , z ⟩ = ⟨ x , z , y ⟩ -
⟨ ⟨ x , w , y ⟩ , w , z ⟩ = ⟨ x , w , ⟨ y , w , z ⟩ ⟩
The second and third axioms imply commutativity: it is possible (but not easy) to show that in the presence of the other three, axiom (3) is redundant. The fourth axiom implies associativity. There are other possible axiom systems: for example the two
also suffice.
In a Boolean algebra, or more generally a distributive lattice, the median function
Birkhoff and Kiss showed that a median algebra with elements
Relation to median graphs
A median graph is an undirected graph in which for every three vertices
Conversely, in any median algebra, one may define an interval