Covering relation (source code)

= Covering relation
{wiki=Covering_relation}