随伴性は付従性から派生する、っていうのを広義の付従性の中に随伴性が含まれる、っていう風に勘違いしてしまっていた。