The restriction of M to S, M  S, has ground set S and independent sets equal to the independent sets of M contained in S.




The object restriction is a method function.