нет «абстракции» у относительного понятия 
что-то не может быть «выше» при отсутствии точки отсчета
ОМГ вот вам формальное определение - пусть есть n платформ A_i, введем оператор выше High по принципу A_i High A_j=1 то A_i выше A_j, если 0 то наоборот, а также похожий оператор Low, и определим все отношения между платформами
