The definition applies also to the diagonal morphism \Delta: X \to X \times X. If \Delta is strongly representable, then every morphism U \to X from a scheme U is strongly representable since U \times_X T \simeq (U \times T) \times_{X \times X} X is strongly representable for any T → X.
