>>30
この場合a,bは例えば数字1に代用してるだけの文字ってこと
どんな文字を1に代用したって良いでしょ

>>31
a,bはただの文字だよ
a=bは集合論の言語の式
fのドメインが整数の部分集合だったらa,bは意味上は整数を指すものとなるけど