今日の数学 2021/4/18

今日の数学は

ブルバキ多様体: 部分多様体から多様体への型射について.

ブルバキ位相線型空間: 下半連続な半ノルムと局所凸空間.

公理的集合論: 積と合併に関する分配法則.