“ It did not originally include Egypt, which was considered part of Asia, and first assigned to Africa by Ptolemy, who made the isthmus of Suez and the Red Sea the boundary between the two continents. The name Africa came into general use through the Romans. In the early empire, North Africa (excluding Egypt) was divided into Mauretania, Numidia, Africa Propria and Cyrenaica. ”