# First-order reduction

Since we have ${\displaystyle {\mbox{FO}}\subsetneq {\mbox{L}}}$, the first-order reductions are weaker reductions than the logspace reductions.