Lineality space
= Lineality space
{title2=$C\cap(-C)$}
The lineality space of a convex cone is its largest linear subspace, equal to $C\cap(-C)$. Every nonempty face contains it. A cone is pointed exactly when this space is zero.
// Target: mathematical-optimization.bigb