真子集 meaning in English

proper su et
proper subset
propersu et
subset

In this paper , based on the method of boolean manipulation and minimization algorithm in the independence minimal path sets , and applied reliability engineering theory , a new method is proposed for calculating reliability of mine ventilation network system
摘要运用可靠性工程理论及不交型积之和定律，在大型网络系统可靠度计算的基础上，提出了矿井通风网络系统最大线性无关最小独立路集予以真子集涤除的不交化可靠度计算的实现方法。
The living example analysis shows that the two results are not only equal according to the full probability formula and deleting truth subsets in the calculation of system reliability for mine ventilation network based on boolean manipulation and minimization algorithm in the independence minimal path sets , but also it is fewer to possess boolean manipulations in the calculation and the calculating program is simplified greatly to the method of boolean manipulation and minimization algorithm in the independence minimal path sets
实例分析表明：采用升序排列的最小独立路集并按不交型积之和定理予以真子集涤除的不交化处理后，不仅计算值等同于一般网络分析中用全概率公式计算的矿井通风网络系统可靠度，而且，计算工作量大为简化。