предположим что
задана некоторая функция f(P)=количеству элементов в P, которые не принадлежат ни одному строгому предшественнику
чему будет равна данная функция? по моему получилось P={1,2,3,4,5}, я тут могу выбрать как минимум 5 строгих предшественников которые (если объединить их) будут содержать все элементы из P, это {1,2,3,4}, {1,2,3,5}, {1,2,4,5}, {1,3,4,5}, {2,3,4,5}, можно и приводить и других предшественников, но они будут уже содержать элементы из данных. T.e. получается что f(P)=0?