forcing relation