w matematyce: półgrupa, której działanie ma element neutralny