Correspondence Theorem for Groups – Yet Another Question

I am reading Joseph J. Rotman’s book: A First Course in Abstract Algebra with Applications (Third Edition) …

I am currently revising Section 2.6…