1: \begin{definition}\label{def:hsd}

2: An {\em (abstract) homogeneous spherical datum}%

3: \footnote{See Theorem~\ref{thm:consistent}.} of $\kmG$ is a quintuple $(S^p, \Sigma, \A, \Xi, \rho)$, where $S^p$ is a subset of $S$, $\Sigma$ is finite subset of primitive elements of $\Xi$, which is a subgroup of $\Chars(\kmT)$, $\A$ is a finite set, $\rho$ is a map $\rho\colon \A\to\Hom_\ZZ(\Xi,\ZZ)$, such that the following properties are satisfied:

4: \begin{itemize}

5: \item[(A1)] For all $\delta\in \A$ and $\sigma\in \Sigma$ we have $\delta(\sigma)\leq1$, and $\delta(\sigma)=1$ implies $\gamma\in\Sigma\cap S$.

6: \item[(A2)] For all $\alpha\in\Sigma\cap S$, the set $\A(\alpha) = \{\delta\in \A\;|\; \delta(\alpha)=1\}$ contains exactly two elements $\delta_\alpha^+$, $\delta_\alpha^-$, and they satisfy $\rho(\delta_\alpha^+)+\rho(\delta_\alpha^-) = \alpha^\vee|_{\Xi}$.

7: \item[(A3)] The set $\A$ is the union of all $\A(\alpha)$ for $\alpha\in\Sigma\cap S$.

8: \item[($\Sigma$1)] If $2\alpha\in\Sigma\cap 2S$ then $\langle \alpha^\vee, \Xi\rangle \subseteq 2\ZZ$.

9: \item[($\Sigma$2)] If $\alpha$ and $\beta$ are orthogonal simple roots such that $\alpha+\beta$ or $\frac12(\alpha+\beta)$ is in $\Sigma$, then $\alpha^\vee|_\Xi=\beta^\vee|_\Xi$.

10: \item[(S)] Any $\sigma\in \Sigma$ is compatible with $S^p$. 

11: \end{itemize}

12: An {\em (abstract) spherical system} of $\kmG$ is a triple $(S^p, \Sigma, \A)$, where $S^p$ is a subset of $S$, $\Sigma$ is finite subset of $\Chars(\kmT)$, $\A$ is a finite set implicitly equipped with a map $\rho\colon \A\to\Hom_\ZZ(\Span_\ZZ\Sigma,\ZZ)$, such that $(S^p, \Sigma,\A,\Span_\ZZ\Sigma, \rho)$ is an abstract spherical homogeneous datum.

13: \end{definition}

14: