Formalmente, un semigrupoide consiste en: