Binars (algebras with a binary operation)

Also called partial groupoids (but this terminology has different meaning in category theory).