Critical point of an elementary embedding

ID: critical-point-of-an-elementary-embedding

If , then fixes every member of and every ordinal below , while .

New to topics? Read the docs here!