English
Proportional Relation as Homomorphism
(1) (
~
)()
~
(2) (
{
')()
{
(')