イコールではなく包含関係