Věty pro kontraktivní operátory v uspořádaných množinách a jejich použití

Budou vyšetřovány uspořádané množiny X na kterých je definována metrika vzhledem ke které
je X uplný metrický prostor. V takových prostorech budou dokázány věty o pevném
bodě pro operátory které jsou kontraktivní vyhledem k uspořádání. Věty budou aplikovány na konkrétní úlohy.