) لاحظ أنه إذا كانت أي مجموعتين منفصلتين على وجه التحديد بواسطة دالة، فإنهما ستكونان بالتأكيد منفصلتين بواسطة الدالة.
) Note that if any two sets are precisely separated by a function, then certainly they are separated by a function.