{\displaystyle \forall {}{\mathit {a}},{\mathit {b}}\in {}K,}