Pas (teoria półgrup)