Disjunction is a logical operation that results in true if at least one of the operands is true, commonly represented by the 'OR' operator in logic. It is fundamental in both classical and propositional logic, serving as a basic building block for constructing more complex logical expressions.