સિસ્ટમ સુસંગત કહેવામાં આવે છે જો તે ઓછામાં ઓછો એક ઉકેલ છે, અને અસંગત, જો તે ખાલી સેટ ઉકેલ સમૂહ સાથે એકરુપ હોય છે.