for X, Y being set holds chi (Y,X) is Multiset of X