Canonical way of denoting the set of all (totally) ordered subsets

146 Views Asked by At

Given a finite set $S$, we usually denote the set of all subsets of $S$ by $\mathcal{P}(S)$, i.e. the power set of $S$.

I need to denote the set of all totally ordered subsets of $S$, let us call it $\mathcal{T}(S)$. That is, elements of $\mathcal{T}(S)$ are all tuples $(A, \leq_A)$ with $A \in \mathcal{P}(S)$ and $\leq_A$ a total order on $A$. This is also the same as the subset of $S^*$ (all sequences of elements from $S$) which do not contain repeated elements.

I have a feeling that this is so common that there must be a canonical notation for $\mathcal{T}(S)$, just as $\mathcal{P}(S)$ is the canonical way of denoting the power set of $S$?