리 대수 아이디얼의 정의, 성질 및 연산