1: \begin{definition}[Common Preference Tuple and Relation]\label{def:common_preference_tuple}

2: Given a set of users $U$ $\subseteq$ $\mathcal{C}$, an attribute $d \in \mathcal{D}$, and two values $x, y \in dom(d)$, if $(x,y)$ belongs to preference relation $\succ_c^d$ for all $c \in U$, then it is called a \emph{common preference tuple}. The set of common preference tuples of $U$ on attribute $d$ is denoted $\succ_U^d$, i.e., $\succ_U^d=\bigcap_{c \in U}\succ_c^d$. By definition, $\succ_U^d$ also represents a strict partial order (Theorem~\ref{thm:commonpref}, proof omitted). We call it a \emph{common preference relation}. It can be viewed as the preference of a virtual user that is denoted $U$.\closedef

3: \end{definition}

4: