predicates {relations} | R Documentation |
Predicate functions for testing for binary relations and endorelations, and special kinds thereof.
relation_is_Euclidean(x, na.rm = FALSE) relation_is_Ferrers(x, na.rm = FALSE) relation_is_acyclic(x) relation_is_antisymmetric(x, na.rm = FALSE) relation_is_asymmetric(x, na.rm = FALSE) relation_is_bijective(x) relation_is_binary(x) relation_is_complete(x, na.rm = FALSE) relation_is_coreflexive(x, na.rm = FALSE) relation_is_crisp(x, na.rm = FALSE) relation_is_cyclic(x) relation_is_endorelation(x) relation_is_equivalence(x, na.rm = FALSE) relation_is_functional(x) relation_is_homogeneous(x) relation_is_injective(x) relation_is_interval_order(x, na.rm = FALSE) relation_is_irreflexive(x, na.rm = FALSE) relation_is_left_total(x) relation_is_linear_order(x, na.rm = FALSE) relation_is_match(x, na.rm = FALSE) relation_is_negatively_transitive(x, na.rm = FALSE) relation_is_partial_order(x, na.rm = FALSE) relation_is_preference(x, na.rm = FALSE) relation_is_preorder(x, na.rm = FALSE) relation_is_quasiorder(x, na.rm = FALSE) relation_is_quasitransitive(x, na.rm = FALSE) relation_is_reflexive(x, na.rm = FALSE) relation_is_right_total(x) relation_is_semiorder(x, na.rm = FALSE) relation_is_semitransitive(x, na.rm = FALSE) relation_is_strict_linear_order(x, na.rm = FALSE) relation_is_strict_partial_order(x, na.rm = FALSE) relation_is_strongly_complete(x, na.rm = FALSE) relation_is_surjective(x) relation_is_symmetric(x, na.rm = FALSE) relation_is_tournament(x, na.rm = FALSE) relation_is_transitive(x, na.rm = FALSE) relation_is_trichotomous(x, na.rm = FALSE) relation_is_weak_order(x, na.rm = FALSE) relation_has_missings(x)
x |
an object inheriting from class |
na.rm |
a logical indicating whether tuples with missing memberships are excluded in the predicate computations. |
A binary relation is a relation with arity 2.
A relation R on a set X is called homogeneous iff D(R) = (X, …, X)
An endorelation is a binary homogeneous relation.
For a crisp binary relation, let us write x R y iff (x, y) is contained in R.
A crisp binary relation R is called
for all x there is at least one y such that x R y.
for all y there is at least one x such that x R y.
for all x there is at most one y such that x R y.
the same as right-total.
for all y there is at most one x such that x R y.
left-total, right-total, functional and injective.
A crisp endorelation R is called
for all x.
there is no x such that x R x.
implies x = y.
implies y R x.
implies that not y R x.
and y R x imply that x = y.
and y R z imply that x R z.
for all distinct x and y, x R y or y R x.
for all x and y, x R y or y R x (i.e., complete and reflexive).
not x R y and not y R z imply that not x R z.
and z R w imply x R w or y R z.
and y R z imply x R w or w R z.
and not y R x and y R z and not z R y imply x R z and not z R x (i.e., the asymmetric part of R is transitive).
exactly one of x R y, y R x, or x = y holds.
and x R z imply y R z.
the transitive closure of R is antisymmetric.
R is not acyclic.
Some combinations of these basic properties have special names because of their widespread use:
reflexive and transitive.
the same as preorder.
a symmetric preorder (reflexive, symmetric, and transitive).
a complete preorder (complete, reflexive, and transitive).
the same as weak order.
an antisymmetric preorder (reflexive, antisymmetric, and transitive).
irreflexive, antisymmetric, and transitive, or equivalently: asymmetric and transitive).
a complete partial order.
a complete strict partial order.
strongly complete.
complete and asymmetric.
complete and Ferrers.
a semitransitive interval order.
If R is a weak order (“(weak) preference relation”), I = I(R) defined by x I y iff x R y and y R x is an equivalence, the indifference relation corresponding to R.
There seem to be no commonly agreed definitions for order relations: e.g., Fishburn (1972) requires these to be irreflexive.
For a fuzzy binary relation R, let R(x, y) denote the membership of (x, y) in the relation. Write T and S for the fuzzy t-norm (intersection) and t-conorm (disjunction), respectively (min and max for the “standard” Zadeh family). Then generalizations of the above basic endorelation predicates are as follows.
for all x.
for all x.
implies x = y.
for all x != y.
for all x, y.
for all x != y.
for all x, y, z.
for all x != y.
for all x, y.
for all x, y, z.
for all x, y, z, w.
for all x, y, z, w.
The combined predicates are obtained by combining the basic predicates as for crisp endorelations (see above).
A relation has missings iff at least one cell in the incidence matrix
is NA
.
P. C. Fishburn (1972), Mathematics of decision theory. Methods and Models in the Social Sciences 3. Mouton: The Hague.
H. R. Varian (2002), Intermediate Microeconomics: A Modern Approach. 6th Edition. W. W. Norton & Company.