Element[expr, domain]Element[$expr_1$|$expr_2$|..., domain]Check if $3$ and a are both integers. If a is not defined, then Element reduces the condition:
Element[3 | a, Integers]
Notice that standard domain names (Primes, Integers, Rationals, Algebraics, Reals, Complexes, and Booleans) are in plural form. If a singular form is used, a warning is shown:
Element[a, Real]