Без заголовка

"следует за" - и что потом с этим "следует за" делать? Зачем что-то такое придумывают, а не используют термины той же теории множеств? Там порядок элементарно задаётся вложенностью подмножеств. Там же хоть опреации над множествами можно производить. А от "следует за" какой толк?