Цитата з означення 2.8.: "Розглянемо відношення R⊆A×B. Нехай елемент ai∈A. Перерізом
відношення А за елементом ai називається множина елементів b з B, для яких пара (ai, b)∈R:
R(ai) = {b∈B | (ai,b)∈R} ...".
Викликало підозру наступне: "Перерізом відношення А ...". Можливо Ви мали на увазі відношення R?