rel_antisymmetric: Antisymmetric Binary Relations

Description Usage Arguments Details Value See Also

Description

A binary relation R is antisymmetric, iff for all x, y we have xRy and yRx => x=y.

Usage

1

Arguments

R

an object coercible to a 0-1 (logical) square matrix, representing a binary relation on a finite set.

Details

rel_is_antisymmetric finds out if a given binary relation is antisymmetric. Missing values in R may result in NA.

Also, check out rel_closure_symmetric for the symmetric closure of R.

Value

rel_is_antisymmetric returns a single logical value.

See Also

Other binary_relations: check_comonotonicity, pord_nd, pord_spread, pord_weakdom, rel_graph, rel_is_asymmetric, rel_is_cyclic, rel_is_irreflexive, rel_is_reflexive, rel_is_symmetric, rel_is_total, rel_is_transitive, rel_reduction_hasse


agop documentation built on March 26, 2020, 7:48 p.m.