That is , for an idempotent element , .
This means that f is idempotent if every element of its domain is an idempotent element .