Template:Lie bracket-closed Lie subring property