A mathematical condition expressed as a matrix inequality that can be efficiently checked to verify system properties like stability.