Bifunctors simétricos e semigrupos
