In attempting to answer this question by @Oliver here: https://dsp.stackexchange.com/questions/67315/what-characterizies-causality-for-a-finite-fft?noredirect=1#comment136900_67315 I have considered the minimum requirement to avoid time domain aliasing in the Discrete Fourier Transform, or more generally any application where the frequency domain is sampled. Similar to sampling in time at at least twice the highest frequency to represent the spectrum without the effects of aliasing, I suggest using a time duration that is at least twice the response time of the underlying continuous time signal to represent the continuous time domain signal (in the DFT) without the effects of time aliasing. 

This is similar to a cross-domain equivalent to Nyquist's Sampling Theorem; ultimately "sampling in frequency" such that the duration of the time domain waveform is greater than twice its response time.

Does this property have a formally named theorem?