任意の多重指標formula_17に対し、ある定数formula_18が存在して、次の条件を満たす時、formula_19関数formula_20をformula_21クラスの表象と言う。