蘊含;隱含式