BorelSubalgebra
P161819
predicate
Indicates that one Lie subalgebra is a Borel subalgebra of another Lie algebra, i.e., a maximal solvable subalgebra with respect to inclusion.