离散数学关系的性质_关系和关系的性质| 离散数学

离散数学关系的性质

笛卡尔积(A * B不等于B * A) (Cartesian product (A*B not equal to B*A))

Cartesian product denoted by * is a binary operator which is usually applied between sets. It is a set of ordered pairs where the first member of the pair belongs to the first set and the second member of the pair belongs second sets.

用*表示的笛卡尔积是二进制运算符，通常应用于集合之间。 它是一组有序对，其中该对的第一成员属于第一集合，而该对的第二成员属于第二集合。

    If,
    |A|     = m |B| = n
    |A*B|   = mn 

Example:

例：

    A = {1,2}  B = {a, b, c}
    A * B = { (1,a), (1,b), (1,c), (2,a), (2,b), (2,c)}

关系 (Relation)

The word relation suggests some familiar example relations such as the relation of father to son, mother to son, brother to sister etc. Familiar examples in arithmetic are relation such as "greater than", "less than", or that of equality between the two real numbers.

关系一词表示一些熟悉的示例关系，例如父亲与儿子的关系，母亲与儿子的关系，兄弟与姐妹的关系等。算术中的常见示例是诸如“大于” ，