binarna operacija, matematička operacija koja uređenomu paru operanada (elemenata danoga skupa) pridružuje rezultat operacije (element toga istog skupa). U skupu realnih brojeva binarne su operacije zbrajanje, oduzimanje, množenje i dijeljenje, nad logičkim matematičkim izjavama disjunkcija, ekvivalencija, implikacija i konjunkcija, a nad skupovima presjek, razlika skupova i unija.