Safe rule and relation