Formalne warunki poprawności definicji