Podmnožiny oboru pravdivosti nerovnice