I feel like neither of these just give actual formal definitions, which would be much clearer.