noun maths logic a theorem asserting that one operator can validly be distributed over anotherSee distribute (def. 7)