可行解组成的集合。满足线性约束条件的解（X，Y）叫做可行解，由所有可行解组成的集合叫做可行域，亦称允许域、能行域。