Talk:Partially defined operator