Definition talk:Cover of Set/Subset

Why is this a definition? It's a consequence of the definitions of "cover" and "subset".
 * The problem is Definition:Cover: it's inaccurate about what the sets are. As it stands, it's indeed a consequence. But it shouldn't be. --barto (talk) 12:02, 10 September 2017 (EDT)


 * Yes it should. Definition:Cover is completely accurate. --prime mover (talk) 18:00, 10 September 2017 (EDT)