Что это такое

Answer 1

Формально, выражения на русский можно перевести так: "k принадлежит множеству Z" и "n принадлежит множеству Z". Поскольку, имя переменной в этих выражениях роли не играет, то эти выражения означают, что оба типа людей совпадают. Так что с формальной точки зрения это не имет смысла. Что то вроде - все люди делятся на две категории - на людей и на людей.

Может, это какой-то ребус?

Answer 2

Z обычно обозначает множество целых чисел, из чего следует, что обозначаются два числа: n и k, являющиеся целыми числами. n и k обычно вводят для обозначения целого числа. Думаю введённая классификация отражает условность различия людей в выборе ими стандартных обозначений в подобных случаях, кто-то обозначает k, кто-то n, кому как нравится.