multiplex (version 2.5)

is.mc: Are Two $\pi$-relations Meet Complements?

Description

Function to find whether two $\pi$-relations are Meet Complement of a given an Atom.

Usage

is.mc(B, C, A, ord = NULL)

Arguments

B

one $\pi$-relation

C

another $\pi$-relation

A

the Atom

ord

(optional) the order of the semigroup

Value

A logical indicating whether the input data are meet-complements of the Atom.

Details

Two congruent or $\pi$-relations are meet complement to a join irreducible element of the lattice of congruence relations whenever their greatest lower bound is the minimal element in the congruence lattice.

References

Pattison, Philippa E. Algebraic Models for Social Networks. Cambridge University Press. 1993.

See Also

iinc, cngr, decomp, pi.rels