A binary relation \(R\) is antisymmetric, iff for all \(x, y\) we have \(xRy\) and \(yRx\) \(\Rightarrow\) \(x=y\).
rel_is_antisymmetric(R)rel_is_antisymmetric returns
a single logical value.
an object coercible to a 0-1 (logical) square matrix, representing a binary relation on a finite set.
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.
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()