Softarisons: theory and practice

This paper introduces the concept of softarison. Softarisons merge soft set theory with the theory of binary relations. Their purpose is the comparison of alternatives in a parameterized environment. We develop the basic theory and interpretations of softarisons. Then, the normative idea of ‘optimal’ alternatives is discussed in this context. We argue that the meaning of ‘optimality’ can be adjusted to fit in with the structure of each problem. A sufficient condition for the existence of an optimal alternative for unrestricted sets of alternatives is proven. This result means a counterpart of Weierstrass extreme value theorem for softarisons; thus, it links soft topology with the act of choice. We also provide a decision-making procedure—the minimax algorithm—when the alternatives are compared through a softarison. A case-study in the context of group interviews illustrates both the application of softarisons as an evaluation tool, and the computation of minimax solutions.


Introduction
This article proposes a model that combines soft set theory with binary relations. The performance of binary relations is enhanced by the explanatory ability of soft set theory for vague intelligence. The gestalt they give rise to is called 'softarison'.
The goal of soft set theory [33] is to study imprecisely perceived knowledge about the performance of alternatives with respect to their descriptive attributes. Basically, a soft set provides a paramaterized description of the set of alternatives, the parameters being their fundamental characteristics. Some works [9,13,27] have clarified the role of this theory among the wide realm of the theories of uncertainty. Others have established its basic operations (e.g., [22,26,30,36]). Textbooks summarize the fundamental elements of this theory [25]. In addition, direct extensions exist (incomplete soft sets [24,45] or N-soft sets [20]) and many hybrid models have been proposed too (inclusive of fuzzy soft sets [29], hesitant fuzzy soft sets [16], Feng-rough soft set models [23], probabilistic soft sets [21], vague soft sets [42], et cetera; [28,43] and [25,Chapter 5] reviewed several classes of hybrid soft set structures). Applications include medical diagnosis [32], forecasting [41] or data mining [35].
A first attempt to apply the core notion of soft set theory to binary relations has produced the successful concept of a soft relation [15]. Put succinctly, [15] defines a soft relation from a soft set to another soft set which consists of a soft subset of the product of both soft sets.
In continuation of this concern, in this article we investigate the problem from a novel perspective. Our position here is founded on a completely different origin. Softarisons are defined on a set of alternatives, rather than being defined between soft sets. Then, we take advantage of soft sets in order to establish parameterized comparisons between these alternatives. As is standard, the parameters correspond to the relevant attributes of the situation. This novel model appears to be natural and applicable since it uses the same primitive elements as standard soft set theory, namely, alternatives and their attributes, together with ordinary soft sets for this context.
We develop a basic theory of softarisons inclusive of their representations by tables. We make some consistency properties explicit. Then we explain that two semantics are available, and that this situation parallels the case of binary relations which are a building block of abstract decision theory. We also explore the meaning of 'optimal alternative' when the alternatives are compared through a softarison. Several criteria are put forward since the structure of the problem determines which elements can be used for differentiating the performance of the options. In particular, a sufficient condition for the existence of certain 'optimal' alternatives is proven without restrictions on cardinality. The condition is expressed in terms of soft compactness [14], a property defined for soft topological spaces [6,19,37] that has received considerable attention [4], also in relation with soft topological ordered spaces [2].
The later achievement is a natural descendant of the Weierstrass extreme value theorem. This classical result gives a well-known sufficient condition for a function to attain a global minimum and a global maximum. Originally, it states that a continuous function defined on a closed bounded interval attains at least one global minimum and a global maximum. Its generalization to topological spaces requires the notion of a compact subset, and an appropriate generalization of the concept of continuity of a mapping between topological spaces. There are further extensions of the extreme value theorem. It can be improved so as to provide necessary and sufficient conditions for the existence of global minima, and of both global minima and maxima [31]. Its argument has been exported to maximization of binary relations, the most basic result being the Bergstrom-Walker theorem [17,40]: it asserts that any continuous acyclic relation defined on a compact topological space has maximal elements. This theorem has also been extended to become a characterization [8]. In this paper, we produce an additional variation of the idea that continuity together with compactness ensure a suitable concept of maximality. We show that the argument is valid for a novel soft set based model for the expression of the preferences. Once again, 'compactness' (in fact, soft compactness) allows us to guarantee maximality in infinite universes (of alternatives). Therefore, in both cases, (soft) compactness allow ones to extend arguments from the finite to the infinite case.
It is remarkable that binary relations can also be merged with soft topological notions through soft topological ordered spaces [5] which are a recent concept reminiscent of topological ordered spaces [7,34].
Finally, we adopt a procedural position in order to provide a decision-making algorithm for situations where a softarison captures the soft-theoretical comparisons between pairs of alternatives. This procedure relies on the idea of a minimax alternative. It is computed as the minimax of a proxy for the overall importance of the attributes for which an alternative outperforms another. We provide an illustrative case-study in the context of group interviews, a recruiting technique by which employers can simultaneously evaluate various applicants to a position.
The outline of this paper is as follows. Section 2 gives a concise and direct presentation of all necessary concepts from various areas (soft set theory, soft topology and binary relations). Section 3 introduces softarisons and discusses their representability and semantics. In Sect. 4 we link softarisons and choice from a normative perspective. Then, Sect. 5 produces a decision-making algorithm and our practical case. Section 6 gives further discussion about our novel tool. In addition, it points out at several lines for future research on this topic.

Preliminary concepts
This section contains some notions and terminology pertaining to soft set theory and binary relations [8,38]. We shall give all the prerequisites that we need in the rest of this article. Nevertheless, we avoid a lengthy and reiterative explanation of all the concepts and technical details, which can be easily found in related literature.
Throughout this paper X denotes a non-empty set of alternatives. When A is a set, its power set is denoted as PðAÞ.
The formal definition of a soft set over the set (of alternatives) X presumes the existence of another set of attributes E that jointly characterize them: Definition 2.1 [33] A soft set over the set X, is a pair (F, E) where F : E ! PðXÞ.
Henceforth, SS E ðXÞ, or simply SS(X) when E is common knowledge, represents the set of all soft sets over X with attributes E.
As is well known, the interpretation of this structure is that for each e 2 E, F(e) represents the set of alternatives from X that satisfy the property represented by e 2 E.
The operations with soft sets are performed in a more convenient manner with the help of two possible descriptions: (1) Any soft set (F, E) can be summarized by the notation fðe; FðeÞÞ : e 2 Eg. (2) In the event that both X and E are finite, the soft set (F, E) can be represented in tabular form too. Figure 1 shows this representation when X ¼ fo 1 ; o 2 ; . . .; o m g and E ¼ fe 1 ; e 2 ; . . .; e n g. A convention is made that we write r jk ¼ 1 when o j 2 Fðe k Þ, and we write r jk ¼ 0 otherwise.
Two special soft sets are the null U and the absoluteX soft sets over X. They are such that UðeÞ ¼ £ for each e 2 E, andXðeÞ ¼ X for each e 2 E.
We are now ready to recall the concept of a soft topology: 37] A soft topology on X is a collection of soft sets over X, i.e., s PðSS E ðXÞÞ that satisfies the properties: (1) U;X 2 s; We shall need the notion of soft compactness of a soft topology, that in turn uses the concept of cover of ðF; EÞ 2 SS E ðXÞ: it is a collection W of soft sets over X such that ðF; EÞY t fðF 0 ; EÞ : ðF 0 ; EÞ 2 Wg. When all the soft sets in W are soft open, we say that W is a soft open cover of (F, E). Also, a subcover of W is a subcollection of elements from W that is also a cover. Definition 2.3 [14,44] A soft topology s on X is soft compact if every soft open cover ofX has a finite subcover. Now, we recall the following concepts that concern binary relations.

Definition 2.4
Assume that X is a set. Then, a binary relation R on X is a subset of the Cartesian product X Â X. We interpret ðx; yÞ 2 X Â X as 'x is related to y' and we often denote it as xRy for convenience.
Binary relations are a standard model for the representation of the preferences of the agents. They allow us to capture two different types of semantics which determine the presentation of subsequent concepts: (1) Under the weak semantics of R, we assume that xRy represents the broad idea that 'x is at least as good as y'.
(2) Under the strict semantics of R, we assume that xRy means that 'x is strictly better than y'.
It is very important to note which meaning is attached to any binary relation we work with. Properties that are natural for the weak semantics are undesirable in the strict interpretation (like in the case of reflexivity), and conversely (irreflexivity). Also certain ideas should be associated with finely tuned concepts. Greatest elements are the adequate concept for the idea of 'a best alternative' under the weak semantics (usually captured by reflexive relations). However maximal elements better express the idea of 'a best alternative' under the strict semantics (usually captured by asymmetric or irreflexive relations). We proceed to recall both concepts: [38, (A.11), (A.13)] Suppose that R is a binary relation on a set (of alternatives) X. We say that y 2 X is an R-greatest (or simply greatest) alternative if yRx for each x 2 X. And we say that y 2 X is R-maximal (or simply maximal) if for each x 2 X, xRy is false.
The reader is addressed to [12,18,38] for other fundamental definitions about binary relations.
Our next section introduces a model that blends soft set theory with binary relations. Their combined features produce 'softarisons' which to some extent, reproduce the benefits of binary relations while enhancing them with the descriptive power of soft set theory. (F, E) e 1 e 2 · · · e n o 1 r 11 r 12 · · · r 1n o 2 Henceforth, in this section, X denotes a (possibly infinite) non-empty set of alternatives, and E is a (possibly infinite) set of attributes.
Definition 3.1 An E-softarison over X is a collection of soft sets over X indexed by X. Formally: Or alternatively, an E-softarison over X is a mapping We simply refer to softarisons when E is common knowledge.
Softarison is an acronym for soft-comparison. Indeed, for the purpose of making effective use of this concept we interpret: when x 2 X and e 2 E, Therefore, when we have a softarison S ¼ fðF x ; EÞg x2X , a soft set ðF x ; EÞ encapsulates the benefits of option x with respect to every other alternative, when each attribute is considered separately. We now proceed to discuss the structure of the finite case and then we shall give illustrative examples with their natural interpretations. All this is done in Sect. 3.1. We relate this model to binary relations in Sect. 3.2. Afterward in Sect. 3.3, we present some properties of consistency of softarisons. We postpone a more detailed discussion of the semantics of softarisons till Sect. 3.4.

Softarisons for finite settings
When the set of alternatives is finite, say X ¼ fo 1 ; . . .; o m g, a softarison S ¼ fðF x ; EÞg x2X becomes S ¼ fðF o 1 ; EÞ; . . .; ðF o m ; EÞg. Each of these soft sets can be expressed in tabular form when the set of attributes is finite too. Therefore, in this case, a softarison is a list of m tables, one corresponding with each alternative. Figure 2 displays the general structure of this information. In this representation, Examples 3.2 and 3.3 below illustrate Definition 3.1 in this context.
In order to establish the comparative performance of the alternatives in X with respect to the properties in E, a softarison S 0 ¼ fðF o 1 ; EÞ; ðF o 2 ; EÞ; ðF o 3 ; EÞg is given. Figure 3 displays such a softarison in tabular form.

Binary relations associated with a softarison
We proceed to show that an E-softarison fðF x ; EÞg x2X over X induces a family fR e g e2E of binary relations on X, indexed by E.
To do that, each attribute e 2 E induces a binary relation R e on X according to the following rule: Example 3.4 In the situation of Example 3.2, three binary relations fR e 1 ; R e 2 ; R e 3 g are derived from the data by Equation (5), namely Example 3.5 In the situation of Example 3.3, three binary relations fR 0 The construction in this section creates a link between softarisons and another tool for the expression of preferences. Indeed the literature on binary relations is tremendously large. Their role in decision-making, mathematical economics, mathematical psychology, and many other branches is of paramount importance [12,38]. Thus this literature is a good source for inspiration.
The next section will take advantage of the existence of associated binary relations in order to transfer some properties of consistency from binary relations to softarisons. We expound how some can be tested by their tabular representations easily, provided that the setting is finite.

Consistency properties of softarisons
Not all sets of data are sufficiently reliable, and special care must be taken to jump to conclusions if they arise from subjective estimates. When we use data that produce comparisons, it is particularly important to verify what consistency qualities they satisfy. This is regardless of the framework where comparisons are established. For example, monographs have been written on rationality or consistency properties of comparisons given by binary relations [12,18,38].
Relatedly, Sect. 3.2 gives a simple way to define some consistency properties of softarisons: We can do that in terms of its associated family of binary relations. Therefore, let fR e g e2E be defined from the E-softarison S ¼ fðF x ; EÞg x2X over X by Equation (5). Consider any property of binary relations P (for example, reflexivity, asymmetry, transitivity, ....) We say that the E-softarison is P when R e satisfies P for each e 2 E. And we say that it is pre-P when R e satisfies P for some e 2 E.
Thus for example, henceforth we say that an E-softarison is reflexive when each R e is reflexive. We say that it is irreflexive when each R e is irreflexive. And it is asymmetric when each R e is asymmetric. Likewise, an E-softarison is pre-transitive if at least one of the R e relations is transitive; and it is pre-acyclic when at least one R e relation is acyclic.
Let us illustrate these definitions: Example 3.6 By Example 3.4, the softarison defined in Example 3.2 is irreflexive and acyclic (therefore asymmetric); however, it is not even pre-transitive (neither of the three relations derived from it is transitive). The same is true for the softarison defined in Example 3.3, by Example 3.5.
Let us write down explicit definitions of the most fundamental concepts that we shall use in the next sections. An E-softarison S over X is: • Reflexive when x 2 F x ðeÞ, for each x 2 X and e 2 E.
• Irreflexive when x 6 2 F x ðeÞ, for each x 2 X and e 2 E.
• Asymmetric when x 2 F y ðeÞ implies y 6 2 F x ðeÞ, for each x; y 2 X and e 2 E.
In the finite setting studied in Sect. 3.1, we do not need to actually write down the binary relations associated with a softarison in order to study all their consistency properties. They should be apparent from the tabular representation of the softarison. The aforementioned three properties are especially simple to check: • Reflexive softarisons are characterized by tabular representations with r i i ðe k Þ ¼ 1 for each i 2 f1; . . .; mg and k 2 f1; . . .; ng. In other words: row i of table i is filled with ones, for each i.

Weak and strict semantics of softarisons
We are now ready to explain the semantics of softarisons in more detail. Earlier in this section we submitted the general idea that a softarison is a 'soft comparison'. By this, we meant that for each alternative and attribute, it produces the set of elements for which the alternative is preferred to them with regard to that attribute. However the term 'preferred' is deliberately ambiguous. It admits two different semantics: (1) The weak semantics is related to reflexive softarisons.
Here 'preferred' means 'at least as good as'. For this reason, x 2 F x ðeÞ must always be true: no matter what property we focus on, any alternative is 'at least as good as' itself in terms of that property.
In this semantics, it is possible that both x 2 F y ðeÞ and y 2 F x ðeÞ hold true. This case is associated with indifference or indecisiveness: we are declaring that when we only consider attribute e, y is at least as good as x, and x is at least as good as y.
(2) The strict semantics is related to irreflexive softarisons.
Here 'preferred' means 'strictly better than'. For this reason, x 2 F x ðeÞ is never true: for each property we focus on, an alternative is never 'strictly better than' itself in terms of that property.
The classification above is the natural replication of the discussion given for binary relations in Sect. 2. Obviously it relies on very basic consistency requirements. In the strict semantics, one would at least expect asymmetric softarisons from a consistent evaluation. For if asymmetry is contradicted we would be admitting that an alternative is 'strictly better than' another alternative which in turn, is 'strictly better than' the first one, when both comparisons are made by focusing on the same attribute.
Remark 3.7 Neither of these semantics is superior to the other. The practitioner must decide what type of evaluations will be used and proceed accordingly. If the opinion of an expert is required, he/she should be instructed to either declare which options are 'at least as good as' others, or alternatively, he/she must declare which options are 'strictly better' than others. All evaluations must be made separately in consideration of each attribute.
We are now enabled to discuss the idea of an 'optimal alternative' in the framework that we have designed. The next section discusses this important issue.

The selection of optimal alternatives: a normative analysis
We cannot disentangle soft sets (or soft-set-based theories) from multi-criteria decision-making: soft sets are defined from multiple attributes. This poses a difficulty for deciding what alternative is 'optimal' since we are obliged to balance the often opposed recommendations of the attributes. Alternatives that are excellent in terms of an attribute may be dreadful in relation with other attributes.
In the face of this problem, two positions may be taken: Normative theories attempt to define the characteristics that an 'optimal' alternative should meet. The downside of this approach is that not always such 'optimal' alternatives exist; and in addition, different concepts may be arguably 'optimal'. A fundamental line of research investigates the conditions that guarantee or characterize the existence of 'optimal' alternatives, whatever the exact meaning of this term.
Procedural decision-making bypasses this discussion. It concentrates on producing one (possibly multiple) output. Quite often, the procedure that gives the solution is an algorithm.
In this Section, we adopt a normative position in order to improve the theoretical foundations of softarions. We proceed to discuss some concepts that are arguably acceptable as an 'optimal' solution, in several frameworks. Then Sect. 5 gives a discussion about a procedural approach to decision-making based on softarisons with an example.

The choice of optimal alternatives when E is finite
Along this section, we assume that E ¼ fe 1 ; . . .; e m g is finite and S is a softarison over X. No other special assumptions on S are made. In particular, X may or may not be infinite. The next concept will be used as a proxy of the performance of the alternatives: Definition 4.1 The inverse score of x respect to y is I y ðxÞ ¼ jfe 2 E j x 2 F y ðeÞgj: When X ¼ fo 1 ; . . .; o n g, the inverse score of o i respect to o j is also written as The inverse score I y ðxÞ captures the number of attributes for which y performs better than x. If a tabular representation is available because X ¼ fo 1 ; . . .; o n g is finite, I o j ðo i Þ is the sum of the indices in row i of the table associated with o j . Remark 4.2 It is just natural to generalize the concept introduced in Definition 4.1 to a 'weighted' version, provided that we have weights associated with the attributes in E. We just need to modify the expressions in Definition 4.1 as follows. When x ¼ ðx 1 ; . . .; x m Þ is a vector of weights with x 1 þ . . . þ x n ¼ 1, x i 2 ½0; 1 for each i ¼ 1; . . .; n, then W y x ðxÞ ¼ P n k¼1 fx k j x 2 F y ðe k Þg is the x-weighted inverse score of x respect to y. It gives us a measure of the total weight (instead of the total number) of the attributes for which y performs better than x.
When X ¼ fo 1 ; . . .; o n g, the x-weighted inverse score of o i respect to o j is written as In the current context, we submit that alternatives that are never outperformed in terms of inverse scores are especially interesting. In formal terms, an appealing solution should be an alternative that satisfies the following property: Definition 4.3 The alternative y 2 X is score undominated if I y ðxÞ > I x ðyÞ for each x 2 X: If a vector of weights x for the attributes exists, y is weighted-score undominated if In words, score undominated alternatives satisfy the following property: when they are compared with any other alternative, the number of attributes for which the first improves the second, is at least as high as the number of attributes for which the second improves the first. Score undominated options beat any other alternative in pairwise comparisons, when this comparison is made by the number of attributes for which one improves the other. The weighted version of this concept replaces 'number of attributes' by 'overall weight of the attributes' in this explanation.
It is not true that all softarisons have score undominated alternatives: By contrast the softarison S 00 defined in Example 3.3, whose inverse scores are given in Fig. 6, lacks score undominated alternatives. The fact  exist? We first propose two sufficient conditions that are rather naive and easy to check, and then we put forward a more demanding condition. The first one is quite obvious: Proposition 4.5 If y 2 X satisfies I x ðyÞ ¼ 0 for all x 2 X, then y is score undominated. If a vector of weights x for the attributes exists, y is weighted-score undominated when W x x ðyÞ ¼ 0 for each x 2 X. Notice that any alternative y that satisfies the assumption of this Proposition must also satisfy W y x ðxÞ > W x x ðyÞ ¼ 0 for each x 2 X. This obvious fact guarantees that y is weighted-score undominated.
Remark 4.6 Corollary 4.12 below relates Proposition 4.5 to a different concept of optimality. Now we prove a less trivial sufficient condition for the existence of score undominated alternatives: Proposition 4.7 Suppose S is an asymmetric softarison over X. If y 2 X satisfies I y ðxÞ > jEj 2 for all x 2 X, then y is score undominated.
Proof Let us fix an arbitrary o i 2 X. By Definition 4.1, I y ðxÞ ¼ jfe 2 E j x 2 F y ðeÞgj. Because the softarison is asymmetric, I x ðyÞ ¼ jfe 2 E j y 2 F x ðeÞgj 6 jEj 2 6 I y ðxÞ. This proves that y 2 X satisfies Definition 4.3. h Example 4.4 proves that neither of the sufficient conditions in Propositions 4.5 and 4.7 are necessary. It is therefore important to give other sufficient conditions for the existence of score undominated alternatives. We proceed to state another more technical solution to this problem.

The choice of optimal alternatives
when E and X are finite Example 4.4 computed the inverse scores from the softarison S 00 defined in Example 3.3. One can observe o 1 1 S 00 o 2 1 S 00 o 3 1 S 00 o 1 , so S 00 has a cycle. We proceed to show that this may be the technical reason for the absence of score undominated alternatives for S 00 . The next formal definition is needed: Definition 4. 9 We say that S is score-acyclic when 1 S is acyclic.
We are now ready to prove a sufficient condition for the existence of score undominated alternatives when both E and X are finite: Proposition 4.10 Suppose S is a softarison over X, which is finite. If S is score-acyclic then there is a score undominated alternative for S.
Proof It is well known that there is a maximal element of 1 S in X [38, Theorem A (3)]. Therefore there is y 2 X such that for each x 2 X, x1 S y is false or equivalently, I x ðyÞ [ I y ðxÞ is false. This proves that for each x 2 X, I y ðxÞ > I x ðyÞ, i.e., y is score undominated. h

The choice of optimal alternatives: the general case
In order to focus our general discussion about optimality, we restrict our attention to the strict semantics of softarisons. Thus in this section all softarisons are asymmetric. Ideally, a softarison might identify an alternative that irrespective of what attribute we look at, it is never beaten by any other alternative. We call any such alternative Emaximal: Definition 4.11 We say that y 2 X is E-maximal for S if it is maximal for R e , for each e 2 E. E-maximal alternatives should be quite rare. When E is finite, they are easily identified by their inverse scores: they are the alternatives o j 2 X that satisfy I o i ðo j Þ ¼ 0 for all o i 2 X. In practical terms, when a tabular representation exists, every row corresponding with o j should be filled with zeros, no matter which table we look at.
We can now observe that with this terminology, Proposition 4.5 can be expressed as in the following corollary: Corollary 4.12 Fix any softarison over X, and suppose that E is finite. Then all E -maximal elements are score undominated. 6 Inverse scores of the softarison S 00 defined in Example 3.3 In the very likely event that no E-maximal alternatives exist, we might at least recommend alternatives with the following property (which is weaker): Definition 4. 13 We say that y 2 X is pre-maximal for S if it is maximal for R e , for some e 2 E.
A pre-maximal alternative is such that for at least one attribute, it is never outperformed when we restrict our attention to that attribute. Nevertheless the existence of pre-maximal elements for a softarison is not guaranteed either.
When E is finite, in between both concepts lies the following idea (i.e., it is weaker than E-maximal but stronger than pre-maximal): Definition 4.14 We say that y 2 X is quasi-maximal for S if it is pre-maximal for S and the number of attributes e for which y is maximal of R e is the highest. Definition 4.14 is relevant because when there are premaximal but not E-maximal alternatives, some pre-maximal alternatives are more acceptable than others. Alternatives that for example, are pre-maximal for all but one attribute, are preferable to those that are pre-maximal for only one attribute. When the number of attributes is finite, and they are equally important, then we can prioritize premaximal elements by the number of attributes for which no other alternative outperforms them.

Remark 4.15
It is also natural to generalize the concept introduced in Definition 4.14 to a 'weighted' version, provided that we have weights associated with the attributes in E. We just need to replace 'number of attributes' by 'total sum of weights of attributes' (quite like we did in Remark 4.15). We will not exhaust all theoretical possibilities of this problem of selection among pre-maximal elements here. The reader is addressed to [11] for inspiring antecedents in the literature about binary relations.
To conclude this section, we prove a theorem that links the quest for pre-maximal elements and soft topology. So, it bridges a gap for which excellent antecedents exist since Weierstrass extreme value theorem. We need the next new concept: Definition 4.16 Suppose that s is a soft topology on X. We say that a softarison over X, S ¼ fðF x ; EÞg x2X , is s-continuous when ðF x ; EÞ 2 s for each ðF x ; EÞ 2 S. Put shortly: S is s-continuous when S s.

Theorem 4.17
Assume that s is a soft topology on X that is soft compact. Then for any pre-acyclic softarison S over X that is s -continuous, there is a pre-maximal alternative.
Proof By absurdum, suppose that there are not pre-maximal alternatives for S. Then for all x 2 X, because x is not pre-maximal, for each e 2 E there must exist y 2 X such that x 2 F y ðeÞ. Therefore t x2X ðF x ; EÞ ¼X, and each ðF x ; EÞ is soft open because S is s-continuous. In other words, the expression above assures that S is an open soft covering of X.
Soft compactness ensures the existence of a finite soft subcovering of fðF x ; EÞg x2X , i.e., there are fx 1 ; . . .; x n g X such that t n i¼1 ðF x i ; EÞ ¼X. We shall produce a contradiction if we prove from the latter expression that each R e has a cycle, because S is preacyclic hence at least one relation R e is acyclic.
For any fixed e 2 E, we have stated [ n i¼1 F x i ðeÞ ¼ X. Consider x 1 . There must exist x i such that x 1 2 F x i ðeÞ, i.e., x i R e x 1 . If i ¼ 1, we have a cycle of R e (of length 1). Otherwise, we do not lose generality if we suppose i ¼ 2 (we can relabel the subindices of x 2 and x i since they are assigned arbitrarily) thus x 2 R e x 1 . Now consider x 2 . There must exist x i such that x 2 2 F x i ðeÞ, i.e., x i R e x 2 . If i ¼ 1 or i ¼ 2, we have a cycle of R e (of length 1 or 2). Otherwise, we do not lose generality if we suppose i ¼ 3 thus x 3 R e x 2 R e x 1 . We can proceed recursively until x nÀ1 2 F x i ðeÞ, which produces either a cycle of R e or x n R e x nÀ1 R e . . .R e x 2 R e x 1 . But now because x n 2 F x i ðeÞ for some i ¼ 1; . . .; n, we obtain a cycle of R e . This completes the argument. h

A decision-making procedure based on softarisons
In this section we adopt a procedural position. We set forth a decision-making algorithm for situations where a softarison is used in order to model the soft-theoretical comparisons between pairs of alternatives. Our procedure is justified by the following argument. Alternatives that are score undominated, or weighted-score undominated when a vector of weights is available (Definition 4.3), are optimal choices. However these properties are very demanding, and we know that such alternatives may not exist (cf., Example 4.4). In their place, minimax alternatives are a nice substitute. To show why, we argue with the case where all attributes are equally important for the sake of clarity. When I o i ðo j Þ ¼ 0 for all o i 2 X, Proposition 4.5 guarantees that o j is score undominated. This is the most desirable case: no matter which attribute we look at, no alternative beats o j . The same is true for the weighted case. It is very unlikely that this happens in practice. But we can first look at the maximum of I o i ðo j Þ across i, i.e., M j ¼ maxfI o i ðo j Þ j i ¼ 1; . . .; m; i 6 ¼ jg. This figure is the largest number of attributes for which there is some other alternative that outperforms o j in that number. So the smallest this figure is, the better. Under a cautious approach we should therefore recommend an alternative o l for which M l is smallest, i.e., minimize M j or find a solution for min j¼1;...;m maxfI o i ðo j Þ j i ¼ 1; . . .; m; i 6 ¼ jg. Such an alternative is a minimax alternative.
We can therefore endorse the following procedure for decision-making: Step 1 give us the overall importance of the attributes for which the other alternatives outperform o j . Then, M j computed at Step 2 is a proxy for the worst possible comparison of o j versus any other alternative. Finally, we select an alternative that when compared with any other alternative, is outperformed in the least aggregate importance.
Remark 5.1 Some weighted-score undominated alternatives are detected by the minimax algorithm. Proposition 4.5 and its weighted counterpart assure that if o j 2 X satisfies I o i ðo j Þ ¼ 0 (resp., W o i x ðo j Þ ¼ 0) for all o i 2 X, then o j is score (resp., weighted-score) undominated. Notice that in this case M j ¼ 0, therefore it minimizes fM 1 ; . . .; M m g and this alternative will be selected by the minimax algorithm.
We apply the minimax algorithm to a practical casestudy in our next synthetic example, that concerns job hiring.
Example 5.2 Group interviews are an efficient interviewing technique whereby employers evaluate several candidates simultaneously in order to fill a position. It can also be used to hire more than one candidate for similar positions. Its main advantage is that it is less time-consuming than individual recruitment evaluations.
In this down-to-earth context, real data are highly confidential. Therefore the following streamlined situation is considered for illustration. Let X ¼ fo 1 ; o 2 ; o 3 ; o 4 g be a set of four applicants. The employer considers their comparative performance with respect to E ¼ fe 1 ; e 2 ; e 3 ; e 4 ; e 5 g, where attribute e 1 refers to 'Common interview questions', e 2 refers to 'Role-playing exercises', e 3 refers to 'Practical tasks', e 4 refers to 'Case studies', and e 5 refers to 'Group presentations'. He/she adopts the weak semantics for the retrieval of information.
After completion of the group interview, the employer produces a comparative performance of the candidates with respect to the activities in E. This generates a softarison S ¼ fðF o 1 ; EÞ; ðF o 2 ; EÞ; ðF o 3 ; EÞ; ðF o 4 ; EÞg. Figure 7 displays such a softarison in tabular form. For illustration, the employer annotates 'When the common interview questions took place, I did not perceive that candidate o 1 performed at least as well as o 2 '. This annotation translates into o 2 6 2 F o 1 ðe 1 Þ, hence the 0 at row o 2 and column e 1 of the first table.
The attributes are not equally important. Their relative relevance is captured by a vector of weights x ¼ ð0:2; 0:2; 0:3; 0:15; 0:15Þ. Figure 8 shows the relevant x-weighted inverse scores associated with the softarison defined in this Example 5.2. These figures are defined at Step 1 of the minimax algorithm. The table shows the M j proxies defined at Step 2 of the minimax algorithm in its right column. The only solution is o 2 , which is the candidate where the minimum of M 1 ; M 2 ; M 3 ; M 4 is attained.
Observe that the minimax algorithm has singled out a weighted-score undominated applicant:

Discussion and conclusion
Softarisons constitute a novel approach to the specification of comparisons among alternatives in the setting of soft set theory. It is valid when there are multiple features and we need to pay attention to them separately; however, we cannot assess the value of the alternatives. Instead, we can only provide a parameterized description of which alternatives each alternative improves upon. Soft relations [15] which had been studied in the literature originate with a very different motivation. Their structure and semantics are unrelated to ours.
Our main target in this paper is to show that softarisons facilitate theoretical manipulations in novel directions. In particular, with the help of the model presented here we have first established a close link between soft topology and the selection of 'best' alternatives in an infinite context. We have done this through the theoretical approach in Sect. 4.3. Hence one can regard this achievement as a practical application of softarisons to the expanding field of soft set topology. Admittedly, we have prioritized mathematical applicability to validation through examples. Nevertheless Sect. 5 has shown the sort of practical situations where softarisons provide the right conceptual model for decision-making.
Multiple lines of research open up and we have only settled the ground for some of them. Among the possible avenues for additional research we cite but a few: 1. One can still delve deeper into the debate procedural vs. normative solutions. Other procedural solutions can be produced and compared with our minimax algorithm. 2. In addition to the brief introduction in Sect. 3.3, much more can be said about the consistency properties of softarisons. Notice that the inspirational case of binary relations is enormously rich [18]. Procedures for their easy identification from the tabular form should be helpful in applications. Computer-assisted algorithms may be especially useful for large sets of data. 3. Multi-agent decision-making would require the utilization of several softarisons. Suitable solution concepts and mechanisms should be given accordingly.

A more general model (maybe called N-softarisons)
can be defined with the assistance of N-soft sets [20]. They should be useful when we have multinary parameterized descriptions (of which alternatives each one improves upon) at our disposal. A full more general theory can be developed from this starting point. One could even resort to more general models for inspiration, like hesitant fuzzy N-soft sets [1]. Nevertheless, it is important that we investigate the bounds of the model by softarisons separately. Acknowledgements The author is grateful to the Junta de Castilla y León and the European Regional Development Fund (Grant CLU-2019-03) for the financial support to the Research Unit of Excellence 'Economic Management for Sustainability' (GECOS).
Funding Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.

Declarations
Conflict of interest The author declares no conflict of interest.
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons. org/licenses/by/4.0/.