Definition:Co-Countable