Structure (mathematical logic)

ウィキペディアから