Qの代数構造を保存する
順序を保存する
これを満たすものは確かに線形写像しかない