>一つの元ｘに対してMの元が2つ対応してたりしてもいいの？

c は写像。だから、ダメ。