Description: Binary relation expressing B covers A . Definition of covers in Kalmbach p. 15. (Contributed by NM, 9-Jun-2004) (New usage is discouraged.)