در این جلسه به اثبات سایر ویژگی‌های زیرمجموعه،‌ اجتماع، اشتراک، نمودار ون، مجموعه مرجع، عضو بودن،‌ دمورگان، خاصیت شرکت‌پذیری، گزاره همیشه درست و متمم می‌پردازیم.