functional dependency ってヤツだよ。
それは関数ではなくて、「aとbからcの型は一意に定まる」ことを示している。
http://www.cse.ogi.edu/~mpj/pubs/fundeps-esop2000.pdf