04-关系的性质与闭包