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!