(лат. disjunctio - разобщение), в логике, математике и др. - логический эквивалент союза «или»; операция, формализующая основные логические свойства этого союза.