Man kan alltså ange alla element i definitionsmängden .