>>505
じゃ
型が指し示すものが対象の全体でもいいや
a,bが型ならa→bという方の指し示すのはaの指し示す対象の全体からbの指し示す対象の全体への対応の全体
a∪bという型をその指し示すものがaの指し示す対象か又はbの指し示す対象であるものとするとかでよくね？