Сечение (теория на множествата)