Home » Infinite ideal type