Математическое сужение множества: теория и примеры