strictAncestorPairs

pairs (a, b) with a strictly below b. See VacuityFloors — only one direction of a comparable pair counts, so this tops out at half of pairs.