Un ideale si dice proprio se è proprio come sottogruppo di A, cioè se