Die Relation ~: a~b, wenn a größer oder gleich b ist, ist eine transitive Relation auf den reellen Zahlen.
Es bleibt zu klären, in welcher Relation die Kostenersparnis dieser neuen Maschine zu ihrem Energieverbrauch steht.