Что такое бинарное, тернарное, n-нарное отношение? - доступным языком и простыми примерами из жизни, пожалуйста

Тернер не будет никогда похожим на любовный треугольник. Если бином это проявленные через друг-друга противоположные элементы, то добавленный к ним третий должен обладать свойствами противоположносьей, дополняет и разрушает одновременно, превращая в тернер. Формально: «мужчина-женщина» - это бином, а нечто среднее - гермафродит, как полноценное явление отсутствует. Правда по нынешним временам...
Просто, тернер «день-вечер-ночь» более гармоничен, что ли, а «мужчина-гермафродит-женщина» - хрень да и только. Или далее «день-вечер-ночь-утро» тоже не вызывает вопросов.
В общем, аналогий за уши можно много притянуть. :0)

Сколько участников в отношении. Если один (отрицание) - то унарное
если 2 (сложение) - бинарное
если 3 - триарное.
Ну и так далее по натуральному ряду и числительным.
Пример из жизни на 54-арное отношение не так-то просто, но в общем случае это могут быть записи (кортежи) таблицы с соответствующим количеством полей (членов).

Нет, к двоюродным братьям это прямого отношения не имеет -- попытка такой аналогии только путает мозги.

Бинарное отношение -- это отношение между двумя объектами, тернарное -- между тремя, и так далее. Та же терминология применяется и к операторам: бинарный оператор, тернарный и т. д.

Привести пример из жизни так сразу не возьмусь -- тут придумывать надо, но сейчас все знают программирование -- как вам пример из программирования, пойдет?

Практически во всех языках программирования есть бинарные операторы, скажем, в выражении

a + b

"+" -- это оператор сложения. Это бинарный оператор, потому что у него _два_ аргумента -- число слева и число справа.

А вот оператор "логическое нет", обычно обозначаемый через "~", называют унарным, потому что он применяется к _одному_ аргументу: ~a.

В некоторых языках, например, в C, С++, C#, есть еще и тернарный оператор, у которого три аргумента:

a? b : c

Он означает: если а истинно, то выполни b, а если ложно, то выполни с. (Не смущайтесь тем, что этот оператор задается двумя символами (? и :), а не одним. Это _один_ оператор, работающий на трех объектах.)

подмножество булеана

https://www.youtube.com/watch?v=-_K1uV9bB-M

От благодарности, конечно, не отказался бы.

Отношение легко понять например знак равенства, или больше, меньше.
Слово бинарное указывает на то что множеств 2

Пример из жизни, идёшь такой по улице, идёшь, идёшь, а тут хоп захотелось посчитать бинарное отношение R на некотором множестве M со свойством антисимметричности... и всё считаешь по формуле