上江州さんは、略記、記号の乱用（オーバーロード）を多用するので、僕も真似してしまうのだが、X, Yが変数列のとき： x∈X -- 変数xが列Xに出現する。 X⊆Y -- Xに出現する変数はYにも出現する。ただし、順序はどうでもいい。 X≒Y -- Xに置換をほどこすとYに…