Från Rilpedia

Modellkompis, inom modellteorin sägs en teori S vara en modellkompis till en teori T om:

1. Varje modell för T går att inbädda i en modell för S
2. Varje modell för S går att inbädda i en modell för T
3. S är modellfullständig

Ett relaterat begrepp är modellkomplettering.