For compact metric spaces, plenty of subtly different definitions converge to the same concept. Overtness can be viewed a a property dual to compactness. So is there a similar story for overt metric spaces?