Principle of inclusions