Ideał (teoria półgrup)