Экспериментальный кубок Европы среди школьников по ЧГК (Гомель)

1 тур, вопрос 11

В этом вопросе два нарицательных существительных мы заменили именами "Прокоп" и "Прокопий". Прокоп и Прокопий - элементы одного и того же множества. О Прокопе мир узнал в 1808 году, а Прокопий был впервые создан в 1981 году. Разницу между Прокопием и Прокопом можно определить по-разному: например, 102 или около 250. Название "Прокоп" особых разногласий не вызвало, а Прокопий стал Прокопием только после ожесточенных споров. Какие два слова мы заменили именами "Прокоп" и "Прокопий"?