圏論のToy_Exampleとしての集合演算