Производное бинарное отношение между двумя наборами - это отношение подмножества, также называемое включением множества.
Бинарное отношение между двумя наборами - это отношение подмножества, также называемое включением множества.