extension property for horn inclusions

Let be a simplicial set and a horn inclusion for an S-horn Then satisfies the extension property, if there exists a lifting