Теория:

При сравнении реальных объектов мы сравниваем их размеры, цвет, форму и прочее. Отношения между реально существующими объектами описываются словами: больше - меньше; длиннее - короче; ближе - дальше; выше - ниже; брат - сестра и так далее.
 
Понятия тоже можно сравнивать между собой. Но, в отличие от объектов реальной действительности, понятия не имеют ни цвета, ни запаха, ни размера. Понятия — это наши представления, наши мысли об объектах. При сравнении понятий сравнивают их содержания и их объемы.
 
Рассмотрим два понятия — «квадрат» и «прямоугольник».
 
Понятие  
Содержание
Квадрат
Четырёхугольник;
все углы прямые;
все стороны равны.
Прямоугольник
Четырёхугольник;
все углы прямые;
длины противоположных сторон попарно равны.

Как видно из таблицы, содержания понятий отличаются одним признаком: у квадрата длины всех сторон равны, а у прямоугольника длины противоположных сторон попарно равны.
 
Отношения между понятиями удобно представлять кругами (такое представление называется диаграммами Эйлера-Венна).
 
обем.png
 
Далекие друг от друга по своему содержанию понятия, не имеющие общих признаков, называются несравнимыми (например, компьютер и «молоко», «карандаш» и «ледник»); остальные понятия называются сравнимыми.
 
Рассмотрим некоторые отношения между сравнимыми понятиями.
Отношение «тождество»
Если объёмы понятий совпадают, другими словами, объём одного понятия равен объёму другого, то отношение между этими понятиями называют тождеством.
Например, понятия «столица России» (А) и «город Москва» (В) — это тождественные понятия. Графическое представление отношения между ними будет выглядеть так:
 
ав.png
Отношение «пересечение»
Пересечением называют отношение между понятиями, объёмы которых совпадают частично, то есть содержат общие элементы.
Пусть понятие А — «электронное письмо», В — «письмо на русском языке».
В пересечение двух кругов попадают все электронные письма на русском языке.
 
пер.png
Отношение «подчинение»
Подчинением называют отношение между понятиями, когда объём одного из них полностью входит в объём другого понятия, но не исчерпывает его.
Пусть понятие А — клавиатура, понятие В — «устройство ввода». Тогда:
 
соп.png
Отношение «соподчинение»
Соподчинением называется отношение между несколькими понятиями, объёмы которых не пересекаются, но которые принадлежат некоторому более общему (родовому) понятию.
Это виды одного и того же рода. Пусть понятие А — «береста», В — «папирус», С — «глиняная дощечка», D — «бумага», Е — «магнитный диск», F — «носитель информации».
Здесь А, В, С, D и Е соподчинены F:

 gjl.png
Отношение «противоположность»
Слова, выражающие противоположные понятия, называются антонимами.  Пусть понятие А — «компьютер с маленькой памятью», понятие В — «компьютер с большой памятью». Тогда:
 
prot.png
 
Объёмы этих двух понятий разделены объёмом некоторого третьего понятия, например, понятия «компьютер со средней памятью»
Отношение «противоречие»
Пусть понятие А — «новый компьютер». Тогда другое понятие, находящееся с ним в отношении противоречия, следует обозначить не-А (т.е. «неновый компьютер»).
Круг, выражающий это отношение, делится на две части: третьего понятия между ними нет:
 
prota.png
Источники:
Босова Л. Л. Босова А.Ю. Информатика: Учебник для 6 класса / Л. Л. Босова. —  М.: БИНОМ. Лаборатория знаний  2013