日本語が悪かった。具体型としてRealNumberではなく、なんの性質があればそれぞれどれが成り立ちますか?