Definition: (right FI-injective) If $T$ is a right ideal of $R$, and $f:T\to R$ such that f(T) is finitely generated, then $f$ can be extended to $R\to R$