Полный англо-русский словарь
Неразделительная дизъюнкция; операция, включающая ИЛИ
inclusive disjunction