Metadata aliases: [] shorthands: {} created: 2021-11-14 20:13:03 modified: 2022-01-10 04:13:04 A binary relation between sets and is a subset of the Cartesian product , i.e. it is a set of ordered pairs , where and .
aliases: [] shorthands: {} created: 2021-11-14 20:13:03 modified: 2022-01-10 04:13:04
It encodes a common concept of relation: an element is related to the element if and only if the pair is among the ones defining the binary relation.