Yes. A hex key is a generic term for this type of tool while "Allen key" and "Allen wrench" refer to the Allen brand that popularized it.