The articles [22], [14], [25], [15], [1], [20], [3], [4], [16], [26], [11], [13], [12], [5], [6], [21], [9], [8], [10], [2], [7], [18], [23], [19], [24], and [17] provide the notation and terminology for this paper. For simplicity, we adopt the following convention: x, y, X are sets, m, n are natural numbers, O is an ordinal number, and R, S are binary relations. Let D be a set, let f be a part...