define functionally complete set