The formal class structure of a connection.