Recognizable property of a graph