It seems to me that you do know the answer to your question. It may be that defined is fine for you. I'd say that exists is the way to go though. I wouldn't be concerned about efficiency for such an atomic statement. Do you have any particular situation in which this may matter?!?