반단순 리 대수: 정의와 동치성 특성화