Anteriormente se usaba el término "grupoide", y todavía se utiliza a veces.