Parciales

Tengo la idea que puede ser como toda estructura que modele a {x,y} entonces debe hacer lo mismo con bottom por completitud y luego def de cons semantica, pero el antecedente es falso entoces el mod({x,y}) = vacio y Th(vacio) = SENT. Es por esto?