"Petrol" fue el primer nombre usado para referirse al producto refinado del petróleo por la compañía británica Carless, Capel & Leonard que lo comercializó como disolvente alrededor de 1870.