expansion (model theory)

  1. REDIRECT Reduct