>>426
> {A,B}→{C,D}みたいな奴もあてはまるのかな
では、それがどう部分関数従属だと思うの?