Functional completeness

ウィキペディアから