Proof of `Matching by intersection over union and the sharpness of the threshold ½` (1st statement)
What this proof establishes
no assumptions
Assuming the claims on the left, the claim on the right holds — checked by the archive's pipeline. Proof code is not displayed here.
Description
If overlapped more than half with each of two disjoint sets, the two overlaps, which are disjoint subsets of , would together exceed .