inductive limit topology

  1. redirectFinal topology