Talk:First-order reduction

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

This contradicts the article on ST-connectivity which states that log-space reductions are weaker. Which is correct? --74.194.27.5 (talk) 13:47, 16 December 2007 (UTC)