XYYX
AB
ABC
Sf(S)S1S2f(S2)f(S1)
S1S2    f(S1)f(S2)S_1 \subset S_2 \iff f(S_1) \supset f(S_2)
fPQ
Sf(S)




ABAB
ABBA
AB