Input (grade 12): A derived binary relation between two sets is the subset relation, also called set inclusion.
Output (grade 11): A binary relation between two sets is the subset relation, also called set inclusion.