Аййыш

Эйлер çаврашкисем. Кунта А — кĕçĕн йыш (аййыш), В — аслă йыш

Аййыш — йышсен теорийĕнче: йышăн пĕр пайĕ. Çавăн пекех ăна кĕçĕн йыш теме пулать. Пысăкрах йышне вара кунашкал контекстра аслă йыш е çÿлйыш темешкĕн май пур.

Кĕçĕн тата аслă йышсене çырура паллă тăвасси

$A\subset B$ тата $A\subseteq B$ (Кĕретлĕх паллисем: иккĕмĕш паллă кĕçĕн йыш аслă йыша туллин кĕме пултарассине систерет)

Вуламалли

• Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств.. — 3-е изд., стереотип. — М.: МЦНМО, 2008. — 128 с. — ISBN 978-5-94057-321-0.
• Биркгоф Г., Барти Т. Современная прикладная алгебра. — М.: Мир, 1976. — 400 с.
• К. Куратовский, А. Мостовский. Теория множеств / Перевод с английского М. И. Кратко под редакцией А. Д. Тайманова. — М.: Мир, 1970. — 416 с.
• Столл Р. Р. Множества. Логика. Аксиоматические теории. / Перевод с английского Ю. А. Гастева и И. Х. Шмаина под редакцией Ю. А. Шихановича. — М.: Просвещение, 1968. — 232 с.