A portico is a type of porch formed by a roof supported by columns.