Talk:Regular ideal