Elementary diagram


Elementary diagram is a concept in model theory.