k) RINEX se rozumí formát Receiver Independent Exchange Format pro post-procesní zpracování.