theorem :: FUZIMPL1:9

for fi being Fuzzy_Implication holds I_{0} <= fi