نظریه فضاهای متری و جبرهای مرتب