  In this article we generalise the structure of Connes-Kreimer Hpof algebra
consisting of Feynmam diagrams to the situations of abstract finite sets,
matrices and star product of scalar field, where the construction for the case
of finite sets is essential.
