正比例関数という言葉を知ったんだけどなんかこれ違和感ある。冗長というか

正比例しないならそれは関係のない量であって数列みたいな飛び飛びの数の並びの
事を言うんじゃないのかね。正比例するから関数なり直交座標に出来るわけで。