Your definition does not make any sense. Imagine defining « prime numbers » as {2,3,5} set