Japanese

Definition of
"Compound Proportional Relation"


f : Q1 x Q2 ---> Q3

f(q1 x n, q1) = f(q1, q1 x n) = f(q1, q1) x n