Avatar
koher 1/26/2018 8:41 AM
↓これとかまさに直和型そのものですよね。 集合論的直和 https://ja.wikipedia.org/wiki/%E7%9B%B4%E5%92%8C#%E9%9B%86%E5%90%88%E8%AB%96%E7%9A%84%E7%9B%B4%E5%92%8C
%E7%9B%B4%E5%92%8C