Todos los ideales son subalgebras.