Problemin çözümü için birden fazla seçeneğin olması durumunda ortaya çıkar. Öte yandan çoğu durumda seçenekleri belirlemek de oldukça zordur. Böyle durumlarda problemin gereklilikleri ve değişkenler arası ilişkilerin matematiksel fonksiyonlarla ifade edildiği; bulunan çözümlerden hangisinin seçileceği kararının ise bir başka
fonksiyonda yine bu seçenek çözümlerin aldığı değerler ile belirlendiği, bütünleşik bir yapı oluşturulur. Bu yapıda değişkenler arası ilişkilerin gösterildiği fonksiyonlara kısıt fonksiyonu denir