Binary relation


Proper subsets