memendekkan (waktu dsb); menghemat

meringkaskan; mengikhtisarkan