explicit definition

[ریاضیات] تعریف بسیط