👉 Quantivalent is a term in mathematical logic that refers to an object or concept that can be represented as a binary relation with two variables. It represents the possibility of certain values for both variables, but it does not have any value itself. In other words, it is a type of "quantifier" that quantifies over a set of binary relations.