Grupoida, semigroup, dan monoida adalah struktur aljabar yang membahas operasi biner. Grupoida adalah himpunan dengan operasi biner yang tidak harus memenuhi asosiativitas. Semigroup memenuhi asosiativitas tetapi tidak harus memiliki unsur identitas. Monoida memenuhi asosiativitas dan memiliki unsur identitas.