论文信息 - Equivalence Relations and Classes of Abstraction 1

Equivalence Relations and Classes of Abstraction 1

Summary. In this article we deal with the notion of equivalence relation. The main properties of equivalence relations are proved. Then we define the classes of abstraction determined by an equivalence relation. Finally, the connections between a partition of a set and an equivalence relation are presented. We introduce the following notation of modes: Equivalence Relation, a partition.

Konrad Raczkowski | K. Raczkowski | Pawe l Sadowski | P. Sadowski

[1] Beata Padlewska,et al. Families of Sets , 1990 .

[2] Grzegorz Bancerek,et al. Segments of Natural Numbers and Finite Sequences , 1990 .

[3] G. Bancerek. The Fundamental Properties of Natural Numbers , 1990 .

[4] A. Zalewska,et al. Properties of Binary Relations , 1990 .

[5] Edmund Woronowicz. Relations Defined on Sets , 1990 .

[6] A. Trybulec. Tarski Grothendieck Set Theory , 1990 .