This article addresses certain fixed-point results in a metric space equipped with a locally transitive binary relation under a functional contraction containing three auxiliary functions. The findings proved herein enrich and improve a number of existing results. In order to prove the credibility of our findings, an illustrative example is provided. Making use of our findings, we study the genuineness of the unique solution to a Fredholm integral equation.