Alternativamente es posible dar la siguiente definición equivalente: un grupoide formula_1 consiste de