Using the definition of that "a predicate is a function that returns true or false, that might not be computable" and "a function is a predicate that returns object."
Is my classification of the following mathematical symbols correct?
∩ (intersection) is a function symbol because it returns an object, the intersection between two sets.
⊆ (subset) is a predicate symbol that returns true if the subset has fewer elements or equal to the set.
0 (zero) is a function symbol since it is a constant symbol? (I'm not sure of this explanation).
= (equals) is binary predicate symbol.