coinduced topology