In this paper, a diseased fractional-order prey-predator model in one predator population and refuge in the other is modelled and investigated using a Holling type II functional response. Critical points are used to examine a model’s stability using its eigenvalues. The solutions’ boundness, uniqueness, existence, and positivity have also been analysed. Critical points have been used to study the model’s locally asymptotically stable properties, and the Lyapunov function has been used to examine the model’s globally asymptotically stable properties. Finally, numerical simulations are shown to verify the analytical solutions.