One of the important topics in the study of contraction inference relations is to establish the representation theorems for them.

• 有关收缩后承关系研究的一个重要的课题便是建立相关的表示定理。