つまり始域および終域が、{00,01,10,11}
ということですか?
00なら01に対応、01なら10に対応みたいな感じですかね?