Ett sakförhållande är , attRedif