写像 "f": "x" → "y" と "x" の任意の部分集合 "a", "a"1, "a"2および "y" の任意の部分集合 "b", "b"1, "b"2に関して