take A = {} [:Y,X:]; :: thesis: ( A is Y -defined & A is X -valued & A is a -based & A is segmental & A is finite & A is empty )
thus ( A is Y -defined & A is X -valued & A is a -based & A is segmental & A is finite & A is empty ) ; :: thesis: verum