Set-valued fixed point results with application to Fredholm-type integral inclusion