I can't find any reference, or documentation on this.
CREATE VIEW view1 AS SELECT * FROM tbl WHERE x = 1;
CREATE VIEW view2 AS SELECT * FROM view1 WHERE y = 1 WITH CASCADE CHECK OPTION;
x = 1 AND y = 1
OK, so maybe have a look at
WITH CASCADED CHECK OPTION
It would seem that the WITH CASCADE option does enforce all view criteria.