Slightly simpler covering function

Still needs to be restricted to the *covering* elements rather than all
supersets.