In mathematics, we usually see symbols that join two objects: numbers, sets, etc. The more familiar one is the equality symbol "=" which in a formal standpoint means "is logically identical to." My question is what are these types of terms called? Terms that connect two objects with some relation. Sorry, I'm not very familiar or knowledgeable about the field and concepts of linguistics, correct me if the question is too vague.