trace {relations}R Documentation

Traces of Endorelations

Description

Compute the left or right trace of an endorelation.

Usage

relation_trace(x, which)

Arguments

x

an endorelation.

which

one of "left" or "right", or a unique abbreviation thereof.

Details

Let RR be a crisp endorelation. The left and right trace of RR contain all pairs x,yx, y for which zRxz R x implies zRyz R y for all zz (left trace) or yRzy R z implies xRzx R z for all zz (right trace), respectively. These are the largest (in the natural ordering of relations with the same domain) relations such that RSRR * S \le R or SRRS * R \le R, respectively (where * denotes composition). In the fuzzy case, the memberships of the traces can be defined as the infima over the corresponding fuzzy membership implications. See Chapter 2.3 in Fodor and Roubens (1994) for more information.

References

J. Fodor and M. Roubens (1994), Fuzzy Preference Modelling and Multicriteria Decision Support. Kluwer Academic Publishers: Dordrecht.


[Package relations version 0.6-13 Index]