Belli bir içlemli yorumda A deyimince belirlenen içlem, her tamdurumu A nın bu tamdurumda belirlediği kaplama bağlayan izerge demektir.