概念の間の関係を表す等号