Operasi biner

Sebuah operasi biner eksternal adalahfungsi biner dari "K" × "S" ke "S". Ini berbeda dari operasi biner dalam arti "K" tidak perlu menjadi "S"; unsur-unsurnya datang dari "luar".