Evaluation criteria

\E x \E y \bl %m(x) != %m(y) non-uniqueness -- \E x \E y \bl %m(x) = %m(y) permutation -- \E x \E y \bl y is a permutation of x /\ %m(x) != %m(y) implementation -- \A x \A y \bl fun(x) = fun(y) \not\Rightarrow %m(x) = %m(y) monotonicity -- \A x \A y \bl %m(x) <= %m(x + y) & %m(y) <= %m(x + y) interaction -- \A x \A y \E z \bl %m(x) \ifsli{\n}{} = %m(y) /\ %m(x + z) != %m(y + z) combination -- \E x \E y \bl %m(x) + %m(y) \ifsli{\n}{} < %m(x + y) R>
slide: Criteria for the evaluation of metrics