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

is.mcR Documentation

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

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.

Value

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

Note

The congruence relations must be in a 'list' fomat.

Author(s)

Antonio Rivero Ostoic

References

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

See Also

iinc, cngr, decomp, pi.rels


mplex/multiplex documentation built on April 9, 2024, 3:12 a.m.