Definition 15.83.1. Let $R \to A$ be a flat ring map of finite presentation. An object $K$ of $D(A)$ is $R$-perfect or perfect relative to $R$ if $K$ is pseudo-coherent (Definition 15.64.1) and has finite tor dimension over $R$ (Definition 15.66.1).

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).