逆の性質を持つ数学的性質