Finitary relation


Definition

Wikipedia

Proper subsets