A covering map is sheeted
if each has cardinality (where or ).