132 المنطق الرياضي

Mathematical Logic and Proof Methods

Sets and their Operations

Cartesian Product of Sets and its Properties

Binary Relations and their Properties 

Mappings (Functions)

Equivalence of Sets, finite sets, countable sets, cardinal numbers