So, if β is a subset the result, then necessarily α→β is a consequence of this and we know that this is their β→γ combined by transitivity.
ஆகவே, β என்பது ஒரு சப்குரூப்பாக இருந்தால், அவசியமாக α → β இதன் விளைவாகும்; மேலும் β→γ, ட்ரான்சிட்டிவிட்டியால் கம்பைன் செய்யப்படுகிறது.