1: \begin{definition}

2: \label{Beiltstr}

3: Let $DF^{\leq 0}(R) \subset DF(R)$ be the full subcategory spanned those $F$'s with $\gr^i(F) \in D^{\leq i}(R)$ for all $i$; dually, $DF^{\geq 0}(R) \subset DF(R)$ is the full subcategory spanned by those $F$'s with $F(i) \in D^{\geq i}(R)$ for all $i$.  We shall refer to the pair $(DF^{\leq 0}(R), DF^{\geq 0}(R))$ as the {\em Beilinson $t$-structure} on $DF(R)$; this name is justified by Theorem~\ref{TruncationBeilinson} below.

4: \end{definition}

5: