circumcludende