が存在し,これが同型であることとが準連接であることは同値である.