半群、モノイド、群の関係と区別