なお海軍に対するそれは「大海令(だいかいれい)」と呼ばれる。