离散数学-7 二元关系

定义7.1 由两个元素 x 和 y，按照一定的顺序组成的二元组称为有序对，记作<x,y>. 有序对性质: (1) 有序性 <x,y><y,x> （当xy时） (2) <x,y>与<u,v>相等的充分必要条件是 <x,y>=<u,v> x=uy=v. 定义7.2 设A,B为集合，A与B的笛卡儿积记作AB，且 AB = {<x,y>| xAyB}. 笛卡儿积性质： (1) 不适合交

>>阅读原文<<