A theorem on the local rank of one-place predicates

The language of the narrow calculus of predicates is used to described problems involving the calculation of the aggregated of estimates of a one-place predicate on the elements of a set with the aid of local means. It is proved that the calculation of a majorant function is in the general case involves selecting the subsets of elements of the neighbourhood of maximal degree participating in the description of the problem.