Element 'the law of nonempty intersection'