We prove that Wilkie's identity holds in those natural HSI-algebras where each element has finite decomposition into components.Further, we construct a bunch of HSI-algebras that satisfy all the identities of the set of positive integers N. Then, based on the constructed algebras, we prove that the identities of N hold in the HSI-algebra of finite posets when the value of each variable is a poset having an isolated point.