直和の定義見て"集合として等しい"を知らずに背伸びしていたことに気づいたことがある。