Now by the assumed compactness of B, the sequence {xm} must cluster at some p∈B. Thus it has a subsequence xmk→p. As p∈B, the function \...Now by the assumed compactness of B, the sequence {xm} must cluster at some p∈B. Thus it has a subsequence xmk→p. As p∈B, the function f is relatively continuous at p over B (by assumption).