定義は、集合論的には以下のような表し方になります。)直積は以下のような性質を持っています。間の元の対応関係を定義することが出来ます。グラフ(graph)と呼びます。)で定義する流儀もあります。自身への対応を関係(relation)と言います。2つの元の間の関係を表すのに使う。表すこともよくあります。f」ということもあります。よる像(image)といいます。略記することもあります。定義するのと等しくなります。