These conditions can be relaxed to SOS definitions according to the following proposition taken from Papachristodoulou and Prajna 2002.
Las condiciones anteriores pueden ser relajadas a definiciones de SOS, como se muestra en la siguiente proposición tomada de Papachristodoulou y Prajna 2002.