It is not the case that Well-definedness requires only that the mapping be consistent, not that the underlying relation be 'purely' extensional in all respects.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.