Validity - N-Validity

N-Validity

A formula A of a first order language is n-valid iff it is true for every interpretation of that has a domain of exactly n members.