Zdvihy (expanze) a stíny (redukce) se použijí k charakterizaci NP jakožto stínů tříd učených konečně mnoha zakázanými expandovanými podstrukturami.
