서브 리 대수의 정의, 특성화 및 예시