  We introduce the notion of totally reflexive extension of rings. It unifies
Gorenstein orders and Frobenius extensions. We prove that for a totally
reflexive extension, a module over the extension ring is totally reflexive if
and only if its underlying module over the base ring is totally reflexive.
