1: \begin{definition}\label{DefOfPi}

2: Let $N = (N, {\rm F}, {\rm V})$ be a ${\rm DM_1}$ of height $h$.

3: Let $e_1, \dots, e_h$ be a standard basis of $N$.

4: Let $S = (\tilde S, \delta)$ be the element of $\{0, 1\}^h$ corresponding to $N$

5: with $\tilde S = \{t_1, \dots, t_h\}$.

6: %We regard ${\rm F}$ and ${\rm V}$ as maps on $\tilde S$

7: %by the natural bijection between the basis of $N$ and $\tilde S$.

8: %%上を消した．

9: %%with $\tilde S = \{t_1, \dots, t_h\}$. を追加

10: We define a bijective map $\pi: \tilde S \rightarrow \tilde S$ by

11: $\pi(t_i) = t_j$, where $j$ is uniquely determined by

12: \begin{equation}\label{EqOfPi}

13: \begin{cases}

14: {\rm F}(e_i) = e_j & \text{if }\delta(t_i) = 0, \\

15: {\rm V}(e_j) = e_i & \text{otherwise}.

16: \end{cases}

17: \end{equation}

18: Note that $(\tilde S, \delta, \pi)$ is an ABS.

19: We say that an ABS $S = (\tilde S, \delta, \pi)$ is {\it admissible} if

20: there exists a ${\rm DM_1}$ $N = (N, {\rm F}, {\rm V})$ such that

21: $(\tilde S, \delta)$ corresponds to $N$ by Theorem~\ref{ThmOfDMAndSeq},

22: %% $(\tilde S, \delta)$ corresponds to $N$ by Theorem~\ref{ThmOfDMAndSeq}, 追加

23: and $\pi$ is constructed by \eqref{EqOfPi} from $N$.

24: The admissible ABS $S$ obtained from a ${\rm DM_1}$ $N$ is called

25: {\it the ABS associated to $N$}.

26: We denote by $\mathcal H'$ the set of all admissible ABS's.

27: \end{definition}