Hintikka set

Etymology
Named after.

Noun

 * 1)  A set with certain openness and completeness properties.