Exactly one-intersecting family
ID: exactly-one-intersecting-family
An exactly one-intersecting family satisfies for every two distinct members. It is nontrivial when the intersection of all its members is empty.
New to topics? Read the docs here!