However, both in universal algebra and model theory the binary operations considered are defined on all of S × S. Sometimes, especially in computer science, the term is used for any binary function.
Namun perlu dicatat bahwa di aljabar dan teori model kedua operasi biner tersebut dianggap didefinisikan pada semua S × S. Kadang-kadang, terutama dalam sains komputer, istilah ini digunakan untuk setiap fungsi biner.