Full semantics for second-order logic
= Full semantics for second-order logic
Every <subset> or relation of the appropriate arity on the object domain is allowed as a value of a second-order variable. For a domain $V_\lambda$, an external functional graph with all its individual <ordered pairs> in $V_\lambda$ is therefore available, even if the whole graph does not belong to $V_\lambda$.