Ontify
Mathematical collection of sets that can be defined based on a property of its members (set theory).