  To say that the embedding is non-trivial is just to say that it is not the identity, in which case there must be a least ordinal that is moved.  This ordinal is called the critical point of j and denoted crit(j).  The critical point is (typically) the large cardinal associated with the embedding.  A cardinal κ is said to be measurable iff it is the critical point of some such embedding.[8] 