A function to establish the \(\pi\)-relations of a partially ordered structure comming from a ‘Pacnet’ class
pi.rels(x, po.incl, vc, po)An object of the ‘Pi.rels’ class
the \(\pi\)-relations, eventually with the partial order
the meet-complements of atoms
an object of a ‘Pacnet’ class
(optional and logical) should the partial order be included in the outcome?
(optional) vector of the induced inclusions to be computed
(optional) the partial order structure
Antonio Rivero Ostoic
This function process the outcome of the Pacnet report by adding induced inclusions to partial order, the minimal element of the lattice of congruence relations. Such type of structure serves for the decomposition of a partially ordered semigroup structure.
Pattison, Philippa E. Algebraic Models for Social Networks. Cambridge University Press. 1993.
pacnet, decomp, semigroup