"This set is an example of a semidecidable set (also known as a recursively enumerable set)." . . . .