SPARSE contains TALLY since these have at most one string of any one length .
TALLY is the class of unary languages .
SPARSE contains TALLY , the class of unary languages , since these have at most one string of any one length .