a) Binary relation. A binary relation R in V is such that for any two elements a, b Î V
|
For every binary relation R in V there exists a converse relation R+ in V such that
|
b) Reflexive and anti-reflexive relation. A relation R is reflexive when
|
c) Symmetric and anti-symmetric relation. A relation R is symmetric when R = R+, that is when
|
d) Transitive relation. A relation R is transitive when
|
e) Equivalence relation. A relation R defined on a set of elements V is an equivalence relation when it is:
f) Strict partial order relation. A relation R is called a strict partial order when it satisfies the conditions:
g) Partially ordered set. A set V is called a partially ordered set if a strict partial order relation "«" is defined on it. The fundamental properties of a partially ordered set are:
h) Ordered set. A set V is called an ordered set if there are two relations " » " and "«" defined on it and they satisfy the axioms of ordering:
i) Subset of elements dominating an element a.
|
j) Subset of elements dominated by an element a.
|
k) Subset of comparable elements.
|
Note that G (a) ÇL (a) = Æ.
l) Strict dominance. An element b strictly dominates an element a if
|
It can also be said that "b is strictly better than a", or that "a is strictly worse than b".
|
and a priority list associated to them by
|
The "partial order relation" constructed on the basis of this collection of variables,
|
is equivalent to the condition
|
where xi (a) and xi (b) denote values of the ith variable for cases a and b respectively.
When comparing two cases, the variables of highest priority (lowest LEVEL value) are considered first. If they unambiguously determine the relation, the comparison procedure ends. In the situation of equality, the comparison is continued using variables of the next priority level. This procedure is repeated until the relation is determined at one of the priority levels, or the end of the variable list is reached.
For each case a from the analyzed set, the program calculates:
| |||||||||||||||||
and then one (or two) of the following scores:
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||
The values of the ORDER parameter select the score(s) as follows:
| ||||||||||||||||||||||||||||||||||||||||
Hunya, P., A Ranking Procedure Based on Partially Ordered Sets, Internal paper, JATE, Szeged, 1976.