en tivrymd af minst ett är ; samt c ) att,