What is an equivalent way of defining $j_1, \dots,j_n\vdash_\mathcal{r} j $?

General

New · 0d
question
What is an equivalent way of defining $j_1, \dots,j_n\vdash_\mathcal{r} j $?
Hint
© 2026 Scrambled Kitchen·GitHub