7.4.3.1.12. predΒΆ

property Intersect.pred