rのある(a値,c値)対に対応するb値の集合がa値だけに依存し、c値には独立かつそのときに限り、bはaに多値従属しているといい、次のように表す。