関係
直積集合
の部分集合。直積集合 ⊃ 関係。
とりあえず有限で考える。
視点
述語
の拡張とも見れる。
en:
predicate
非決定性写像とも見れる。
つまり
写像
の拡張
ref.
関係（非決定性写像）に関する用語 - 檜山正幸のキマイラ飼育記 (はてなBlog)
ref.
(続き) 関係（非決定性写像）に関する記法 - 檜山正幸のキマイラ飼育記 (はてなBlog)
ref.
関係 (数学) - Wikipedia
Finitary relation - Wikipedia
特に有限なモノ
https://ncatlab.org/nlab/show/relation
#数学
#数学用語