Infinite graph containing all countable graphs.