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