实数相关性质,关于实数相关性质的所有信息