countable discrete structure