A mathematical property ensuring a matrix produces only positive values when multiplied by any non-zero vector, critical for stable optimization.