A Turing machine implementing a strong reducibility will compute a total function regardless of which oracle it is presented with.
O mașină Turing ce implementează o reductibilitate tare va calcula o funcție totală, indiferent de ce oracol i se prezintă.