top_ideal