weislee2010
集合A={1，2，{1}，{3}}，A里的元素是1，2，{1}，{3}，可以说1属于A，2属于A，{1}属于A，{3}属于A。而{1，2}是包含于A但不属于A；集合的概念要分清包含，属于，元素与集合之间是属于关系，集合与集合之间是包含、包含于的关系 
下面用A表示全称量词 传递性：AxAyAz( ∈R∧ ∈R∧ → ∈R) 当前件为假时，蕴涵式恒为真由此可判定S是传递的 R没有传递性，因为： ∈R， ∈R，但是 不在R中
集合或类(以集合为例)上的等价关系R指一个具有自反， 对称， 传递性的二元关系， 在一个定义了等价关系的集合中可以按该等价关系分成等价类(即两个元素只要有xRy， 则它们属于同一等价类)， 即集合的一些子集组成的集， 容易证明这些子集两两不交且其并等于原集合 一个应用: 在全体集合的真类V上定义一等价关系R， 若两个集合x， y间存在一一映射， 则xR 按该等价关系分成等价类， 再用类上的选择公理从每个等价类中取出一个代表元素 即基于AC的集合的势的定义
我不太懂一生黑白皮皮提出的问题，建议等其他网友的回答。
