(m,s)-Super-metric: A function d defined over (m+1)-tuples of {1,...,n} that is invariant under permutation, equals 0 if any two elements are identical, is non-negative, and satisfies the (m,s)-super-metric triangle inequality: s · d(x1,...,xm+1) ≤ ∑ d(x1,...,xi-1,xi+1,...,xm+1).
Super-metric Cone (SMETm,sn): The polyhedral cone of all (m,s)-super-metrics.
Super-cut Cone (SCUTm,sn): The positive span of all (0,1)-valued extreme rays of SMETm,sn.