数学的構造を保つ全単射