Математика и логика: Множества и их подмножества