横断とは