formal definition

[ریاضیات] تعریف صوری