大雑把に言うと、スレーターの条件では、実行可能領域は必ず内点を持つ(下記の技術的な詳細を参照)ということが述べられている.
大雑把に言うと、